Towards an algebraic theory of typed mobile processes

Yuxin Deng; Davide Sangiorgi

doi:10.1007/978-3-540-27836-8_39

Towards an algebraic theory of typed mobile processes

Yuxin Deng
, Davide Sangiorgi

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella
Publisher	Springer Verlag
Pages	445-456
Number of pages	12
ISBN (Print)	3540228497
DOIs	https://doi.org/10.1007/978-3-540-27836-8_39
State	Published - 2004
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3142
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-540-27836-8_39

Cite this

Deng, Y., & Sangiorgi, D. (2004). Towards an algebraic theory of typed mobile processes. In J. Díaz, J. Karhumäki, A. Lepistö, & D. Sannella (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 445-456). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3142). Springer Verlag. https://doi.org/10.1007/978-3-540-27836-8_39

Deng, Yuxin ; Sangiorgi, Davide. / Towards an algebraic theory of typed mobile processes. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). editor / Josep Díaz ; Juhani Karhumäki ; Arto Lepistö ; Donald Sannella. Springer Verlag, 2004. pp. 445-456 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{fd975b5de4b4482bbbaf731da83ec362,

title = "Towards an algebraic theory of typed mobile processes",

author = "Yuxin Deng and Davide Sangiorgi",

year = "2004",

doi = "10.1007/978-3-540-27836-8\_39",

language = "英语",

isbn = "3540228497",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "445--456",

editor = "Josep D{\'i}az and Juhani Karhum{\"a}ki and Arto Lepist{\"o} and Donald Sannella",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

address = "德国",

}

Deng, Y & Sangiorgi, D 2004, Towards an algebraic theory of typed mobile processes. in J Díaz, J Karhumäki, A Lepistö & D Sannella (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3142, Springer Verlag, pp. 445-456. https://doi.org/10.1007/978-3-540-27836-8_39

Towards an algebraic theory of typed mobile processes. / Deng, Yuxin; Sangiorgi, Davide.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ed. / Josep Díaz; Juhani Karhumäki; Arto Lepistö; Donald Sannella. Springer Verlag, 2004. p. 445-456 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3142).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - Towards an algebraic theory of typed mobile processes

AU - Deng, Yuxin

AU - Sangiorgi, Davide

PY - 2004

Y1 - 2004

UR - https://www.scopus.com/pages/publications/33745197447

U2 - 10.1007/978-3-540-27836-8_39

DO - 10.1007/978-3-540-27836-8_39

M3 - 章节

AN - SCOPUS:33745197447

SN - 3540228497

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 445

EP - 456

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - Díaz, Josep

A2 - Karhumäki, Juhani

A2 - Lepistö, Arto

A2 - Sannella, Donald

PB - Springer Verlag

ER -

Deng Y, Sangiorgi D. Towards an algebraic theory of typed mobile processes. In Díaz J, Karhumäki J, Lepistö A, Sannella D, editors, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2004. p. 445-456. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-27836-8_39

Towards an algebraic theory of typed mobile processes

Publication series

Access to Document

Other files and links

Cite this