{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171936},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591726"},{"type":"electronic","value":"9783540492184"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026570","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T01:15:04Z","timestamp":1132362904000},"page":"187-215","source":"Crossref","is-referenced-by-count":54,"title":["Concurrent objects in a process calculus"],"prefix":"10.1007","author":[{"given":"Benjamin C.","family":"Pierce","sequence":"first","affiliation":[]},{"given":"David N.","family":"Turner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: a Model of Concurrent Computation in Distributed Systems","author":"G. A. Agha","year":"1986","unstructured":"Gul A. Agha. Actors: a Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA, 1986."},{"key":"9_CR2","unstructured":"G\u00e9rard Boudol. Asynchrony and the \u03c0-calculus (note). Rapporte de Recherche 1702, INRIA Sofia-Antipolis, May 1992."},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8","author":"C. Hewitt","year":"1977","unstructured":"C. Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8:323\u2013364, 1977. Influential description of a method for implementing distributed control structures: the ACTOR paradigm.","journal-title":"Artificial Intelligence"},{"key":"9_CR4","volume-title":"Lecture Notes in Computer Science","author":"K. Honda","year":"1991","unstructured":"Kohei Honda and Mario Tokoro. An object calculus for asynchronous communication. In Pierre America, editor, Proceedings of the European Conference on Object-Oriented Programming (ECOOP), volume 512 of Lecture Notes in Computer Science, Geneva CH, 1991. Springer-Verlag, Berlin, Heidelberg, New York, Tokyo."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Cliff B. Jones. A pi-calculus semantics for an object-based design notation. In E. Best, editor, Proceedings of CONCUR'93, LNCS 715, pages 158\u2013172. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_12"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Naoki Kobayashi and Aki Yonezawa. Towards foundations for concurrent object-oriented programming \u2014 Types and language design. Submitted for publication, 1994.","DOI":"10.1145\/191080.191088"},{"key":"9_CR7","series-title":"Research Report","volume-title":"Functions as processes","author":"R. Milner","year":"1990","unstructured":"Robin Milner. Functions as processes. Research Report 1154, INRIA, Sofia Antipolis, 1990. Final version in Journal of Mathematical Structures in Computer Science 2(2):119\u2013141, 1992."},{"key":"9_CR8","unstructured":"Robin Milner. The polyadic \u03c0-calculus: a tutorial. Technical Report ECS-LFCS-91-180, Laboratory for Foundations of Computer Science, University of Edinburgh, October 1991. Proceedings of the International Summer School on Logic and Algebra of Specification, Marktoberdorf, August 1991."},{"key":"9_CR9","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":"9_CR10","volume-title":"Commentary on Standard ML","author":"R. Milner","year":"1991","unstructured":"Robin Milner and Mads Tofte. Commentary on Standard ML. The MIT Press, Cambridge, Massachusetts, 1991."},{"key":"9_CR11","unstructured":"Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. The MIT Press, 1990."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Oscar Nierstrasz. Towards an object calculus. In M. Tokoro, O. Nierstrasz, and P. Wegner, editors, Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing, Lecture Notes in Computer Science number 612, pages 1\u201320. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55613-3_1"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Michael Papathomas. A unifying framework for process calculus semantics of concurrent object-oriented languages. In M. Tokoro, O. Nierstrasz, and P. Wegner, editors, Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing, LNCS 612, pages 53\u201379. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55613-3_3"},{"key":"9_CR14","unstructured":"Benjamin C. Pierce. Programming in the pi-calculus: An experiment in programming language design. Tutorial notes on the Pict language. Available electronically, 1994."},{"key":"9_CR15","unstructured":"Benjamin C. Pierce and David N. Turner. Pict user manual. Available electronically, 1994."},{"issue":"2","key":"9_CR16","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1017\/S0956796800001040","volume":"4","author":"B. C. Pierce","year":"1994","unstructured":"Benjamin C. Pierce and David N. Turner. Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming, 4(2):207\u2013247, April 1994. A preliminary version appeared in Principles of Programming Languages, 1993, and as University of Edinburgh technical report ECS-LFCS-92-225, under the title \u201cObject-Oriented Programming Without Recursive Types\u201d.","journal-title":"Journal of Functional Programming"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"John Reppy. Synchronous operations as first-class values. In Programming Language Design and Implementation, pages 250\u2013259. SIGPLAN, ACM, 1988.","DOI":"10.1145\/53990.54015"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"John Reppy. CML: A higher-order concurrent language. In Programming Language Design and Implementation, pages 293\u2013259. SIGPLAN, ACM, June 1991.","DOI":"10.1145\/113446.113470"},{"key":"9_CR19","unstructured":"John Reppy. Higher-Order Concurrency. PhD thesis, Cornell University, June 1992. Technical Report TR 92-1285."},{"key":"9_CR20","unstructured":"Davide Sangiorgi. Expressing Mobility in Process Algebras; First-Order and Higher-Order Paradigms. PhD thesis, Department of Computer Science, University of Edinburgh, 1992."},{"key":"9_CR21","unstructured":"Gert Smolka. A Foundation for Concurrent Constraint Programming. In Constraints in Computational Logics, volume 845 of Lecture Notes in Computer Science, Munich, Germany, September 1994. Invited Talk."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Vasco T. Vasconcelos. Typed concurrent objects. In Proceedings of the Eighth European Conference on Object-Oriented Programming (ECOOP), volume 821 of Lecture Notes in Computer Science, pages 100\u2013117. Springer-Verlag, July 1994.","DOI":"10.1007\/BFb0052178"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Vasco T. Vasconcelos and Mario Tokoro. A Typing System for a Calculus of Objects. In First International Symposium on Object Technologies for Advanced Software, volume 742 of Lecture Notes in Computer Science, pages 460\u2013474, November 1993.","DOI":"10.1007\/3-540-57342-9_89"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"David Walker. Algebraic proofs of properties of objects. In Proceedings of European Symposium on Programming. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-57880-3_33"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Parallel Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026570","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T10:00:30Z","timestamp":1683280830000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026570"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591726","9783540492184"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0026570","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}