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

科研成果: 书/报告/会议事项章节 › 章节 › 同行评审

源语言	英语
主期刊名	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
编辑	Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella
出版商	Springer Verlag
页	445-456
页数	12
ISBN（印刷版）	3540228497
DOI	https://doi.org/10.1007/978-3-540-27836-8_39
出版状态	已出版 - 2004
已对外发布	是

出版系列

姓名	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
卷	3142
ISSN（印刷版）	0302-9743
ISSN（电子版）	1611-3349

访问文件

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

其它文件与链接

链接到 Scopus 的出版物

引用此

Deng, Y., & Sangiorgi, D. (2004). Towards an algebraic theory of typed mobile processes. 在 J. Díaz, J. Karhumäki, A. Lepistö, & D. Sannella (编辑), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (页码 445-456). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 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). 编辑 / Josep Díaz ; Juhani Karhumäki ; Arto Lepistö ; Donald Sannella. Springer Verlag, 2004. 页码 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. 在 J Díaz, J Karhumäki, A Lepistö & D Sannella (编辑), 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), 卷 3142, Springer Verlag, 页码 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). 编辑 / Josep Díaz; Juhani Karhumäki; Arto Lepistö; Donald Sannella. Springer Verlag, 2004. 页码 445-456 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 3142).

科研成果: 书/报告/会议事项章节 › 章节 › 同行评审

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. 在 Díaz J, Karhumäki J, Lepistö A, Sannella D, 编辑, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2004. 页码 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