{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T06:17:27Z","timestamp":1784873847410,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540643029","type":"print"},{"value":"9783540697220","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053567","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:40:18Z","timestamp":1149658818000},"page":"122-138","source":"Crossref","is-referenced-by-count":416,"title":["Language primitives and type discipline for structured communication-based programming"],"prefix":"10.1007","author":[{"given":"Kohei","family":"Honda","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vasco T.","family":"Vasconcelos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Makoto","family":"Kubo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"S. Abramsky, S. Gay, and R. Nagarajan, Interaction Categories and Foundations of Typed Concurrent Computing. Deductive Program Design, Springer-Verlag, 1995.","DOI":"10.1007\/978-3-642-61455-2_10"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BF01215408","volume":"94","author":"P. America","year":"1994","unstructured":"P. America and F. de Boer. Reasoning about Dynamically Evolving Process Structures. Formal Aspects of Computing, 94:269\u2013316, 1994.","journal-title":"Formal Aspects of Computing"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Boudol. The chemical abstract machine. TCS, 96:217\u2013248, 1992.","journal-title":"TCS"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","volume":"25","author":"B. Courcelle","year":"1983","unstructured":"B. Courcelle. Fundamental properties of infinite trees. TCS, 25:95\u2013169, 1983.","journal-title":"TCS"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join-calculus. In POPL'96, pp. 372\u2013385, ACM Press, 1996.","DOI":"10.1145\/237721.237805"},{"issue":"8","key":"9_CR7","first-page":"667","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare. Communicating sequential processes. CACM, 21(8):667\u2013677, 1978.","journal-title":"CACM"},{"key":"9_CR8","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1995."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Jones, C.B., Process-Algebraic Foundations for an Object-Based Design Notation. UMCS-93-10-1, Computer Science Department, Manchester University, 1993.","DOI":"10.1007\/3-540-57208-2_12"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"K. Honda. Composing processes. In POPL'96, pp. 344\u2013357, ACM Press, 1996.","DOI":"10.1145\/237721.237802"},{"key":"9_CR11","unstructured":"K. Honda, V. Vasconcelos, and M. Kubo. Language primitives and type disciplines for structured communication-based programming. Full version of this paper, in preparation."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"S. Peyton Jones, A. Gordon, and S. Finne. Concurrent Haskell. In POPL'96, pp. 295\u2013308, ACM Press, 1996.","DOI":"10.1145\/237721.237794"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"N. Kobayashi, B. Pierce, and D. Turner. Linearity and the pi-calculus. In POPL'96, pp. 358\u2013371, ACM Press, 1996.","DOI":"10.1145\/237721.237804"},{"key":"9_CR14","unstructured":"L. Lopes, F. Silva, and V. Vasconcelos. A framework for compiling object calculi. In preparation."},{"key":"9_CR15","unstructured":"R. Milner. Communication and Concurrency. C.A.R. Hoare Series Editor. Prentice Hall, 1989."},{"issue":"2","key":"9_CR16","first-page":"119","volume":"2","author":"R. Milner","year":"1992","unstructured":"R. Milner. Functions as processes. MSCS, 2(2):119\u2013141, 1992.","journal-title":"MSCS"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"R. Milner, Polyadic \u03c0-Calculus: a tutorial. Logic and Algebra of Specification, Springer-Verlag, 1992.","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"9_CR18","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. Journal of Information and Computation, 100:1\u201377, September 1992.","journal-title":"Journal of Information and Computation"},{"key":"9_CR19","unstructured":"R. Milner and M. Tofte. The Definition of Standard ML. MIT Press, 1991."},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"H. R. Nielson and F. Nielson. Higher-order concurrent programs with finite communication topology. In POPL'94. ACM Press, 1994.","DOI":"10.1145\/174675.174538"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"A. Ohori and K. Kato. Semantics for communication primitives in a polymorphic language. In POPL 93. ACM Press, 1993.","DOI":"10.1145\/158511.158529"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"A. Ohori. A compilation method for ML-style polymorphic record calculi. In POPL 92, pp. 154\u2013165. ACM Press, 1992.","DOI":"10.1145\/143165.143200"},{"key":"9_CR23","unstructured":"B. Pierce and D. Turner. Pict: A programming language based on the pi-calculus. CSCI Technical Report 476, Indiana University, March 1997."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"B. Pierce, and D. Sangiorgi, Typing and subtyping for mobile processes. In LICS'93, pp. 187\u2013215, 1993.","DOI":"10.1109\/LICS.1993.287570"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"B. Pierce and D. Sangiorgi, Behavioral Equivalence in the Polymorphic Pi-Calculus. POPL 97, ACM Press, 1997.","DOI":"10.1145\/263699.263729"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"J-H. Reppy. CML: A higher-order concurrent language. In PLDI 91, pp. 293\u2013305. ACM Press, 1991.","DOI":"10.1145\/113446.113470"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"K. Takeuchi, K. Honda, and M. Kubo. An interaction-based programming language and its typing system. In PARLE'94, volume 817 of LNCS, pp. 398\u2013413. Springer-Verlag, July 1994.","DOI":"10.1007\/3-540-58184-7_118"},{"key":"9_CR28","unstructured":"US Government Printing Office, Washington DC. The Ada Programming Language, 1983."},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"V. Vasconcelos. Typed concurrent objects. In ECOOP'94, volume 821 of LNCS, pp. 100\u2013117. Springer-Verlag, 1994.","DOI":"10.1007\/BFb0052178"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"V. Vasconcelos and K. Honda, Principal Typing Scheme for Polyadic \u03c0-Calculus. CONCUR'93, Volume 715 of LNCS, pp.524\u2013538, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_36"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"V. Vasconcelos and M. Tokoro. A typing system for a calculus of objects. In 1st ISOTAS, volume 742 of LNCS, pp. 460\u2013474. Springer-Verlag, November 1993.","DOI":"10.1007\/3-540-57342-9_89"},{"key":"9_CR32","unstructured":"Y. Yokote and M. Tokoro. Concurrent programming in ConcurrentSmalltalk. In Yonezawa and Tokoro [34]."},{"key":"9_CR33","unstructured":"A. Yonezawa, editor. ABCL, on Object-Oriented Concurrent System. MIT Press, 1990."},{"key":"9_CR34","doi-asserted-by":"crossref","unstructured":"A. Yonezawa and M. Tokoro, editors. Object-Oriented Concurrent Programming. MIT Press, 1987.","DOI":"10.1145\/28697.28722"},{"key":"9_CR35","doi-asserted-by":"crossref","unstructured":"N. Yoshida, Graph Types for Monadic Mobile Processes. In FST\/TCS'16, volume 1180 of LNCS, pp. 371\u2013386, Springer-Verlag, 1996. The full version as LFCS Technical Report, ECS-LFCS-96-350, 1996.","DOI":"10.1007\/3-540-62034-6_64"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053567","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T07:12:53Z","timestamp":1736406773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053567"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643029","9783540697220"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/bfb0053567","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}