{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:06Z","timestamp":1725467406177},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648963"},{"type":"electronic","value":"9783540684558"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055634","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T07:31:00Z","timestamp":1153985460000},"page":"364-365","source":"Crossref","is-referenced-by-count":0,"title":["Type systems for concurrent calculi"],"prefix":"10.1007","author":[{"given":"Benjamin C.","family":"Pierce","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1007\/3-540-57208-2_35","volume":"715","author":"K. Honda","year":"1993","unstructured":"Kohei Honda. Types for dyadic interaction. In CONCUR'93, volume 715 of Lecture Notes in Computer Science, pages 509\u2013523, 1993.","journal-title":"Lecture Notes in Computer Science"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Kohei Honda. Composing processes. In Principles of Programming Languages (POPL), pages 344\u2013357, January 1996.","DOI":"10.1145\/237721.237802"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Naoki Kobayashi. A partially deadlock-free typed process calculus. ACM Transactions on Programming Languages, 1998. To appear (a preliminary version appeared in LICS'97).","DOI":"10.1145\/276393.278524"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Naoki Kobayashi, Benjamin C. Pierce, and David N. Turner. Linearity and the pi-calculus. In Principles of Programming Languages, 1996.","DOI":"10.1145\/237721.237804"},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes (Parts I and II). Information and Computation, 100:1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"23_CR6","volume-title":"Technical Report ECS-LFCS-91-180","author":"R. Milner","year":"1991","unstructured":"Robin Milner. The polyadic \u03c0-calculus: a tutorial. Technical Report ECS-LFCS-91-180, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, UK, October 1991. Appeared in Proceedings of the International Summer School on Logic and Algebra of Specification, Marktoberdorf, August 1991. Reprinted in Logic and Algebra of Specification, ed. F. L. Bauer, W. Brauer, and H. Schwichtenberg, Springer-Verlag, 1993."},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Benjamin Pierce and Davide Sangiorgi. Typing and subtyping for mobile processes. In Logic in Computer Science, 1993. Full version in Mathematical Structures in Computer Science, Vol. 6, No. 5, 1996.","DOI":"10.1017\/S096012950007002X"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Benjamin Pierce and Davide Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. In Principles of Programming Languages (POPL), 1997. Full version available as INRIA-Sophia Antipolis Rapport de Recherche No. 3042 and as Indiana University Computer Science Technical Report 468.","DOI":"10.1145\/263699.263729"},{"key":"23_CR9","unstructured":"Davide Sangiorgi. An interpretation of typed objects into typed \u03c0-calculus. Technical Report, INRIA-Sophia Antipolis, 1996."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Eijiro Sumii and Naoki Kobayashi. A generalized deadlock-free process calculus. Manuscript, 1998.","DOI":"10.1016\/S1571-0661(04)00144-6"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Kaku Takeuchi, Kohei Honda, and Makoto Kubo. An interaction-based language and its typing system. In Proceedings of PARLE'94, pages 398\u2013413. Springer-Verlag, 1994. Lecture Notes in Computer Science number 817.","DOI":"10.1007\/3-540-58184-7_118"},{"key":"23_CR12","unstructured":"David N. Turner. The Polymorphic Pi-calulus: Theory and Implementation. PhD thesis, University of Edinburgh, 1995."},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Nobuko Yoshida. Graph types for monadic mobile processes. In Foundations of Software Technology and Theoretical Computer Science, volume 1180 of Lecture Notes in Computer Science, pages 371\u2013386. Springer-Verlag, May 1996.","DOI":"10.1007\/3-540-62034-6_64"}],"container-title":["Lecture Notes in Computer Science","CONCUR'98 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055634","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T06:54:47Z","timestamp":1683528887000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055634"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648963","9783540684558"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0055634","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}