{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:21Z","timestamp":1761611121512},"reference-count":25,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5688,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1998]]},"DOI":"10.1016\/s1571-0661(04)00145-8","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T10:14:39Z","timestamp":1075371279000},"page":"248-264","source":"Crossref","is-referenced-by-count":24,"title":["A Concurrent Object Calculus"],"prefix":"10.1016","volume":"16","author":[{"given":"Andrew D.","family":"Gordon","sequence":"first","affiliation":[]},{"given":"Paul D.","family":"Hankin","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB1","series-title":"A Theory of Objects","author":"Abadi","year":"1996"},{"issue":"1","key":"10.1016\/S1571-0661(04)00145-8_NEWBIB2","doi-asserted-by":"crossref","DOI":"10.1017\/S095679689700261X","article-title":"A foundation for actor computation","volume":"7","author":"Agha","year":"1997","journal-title":"Journal of Functional Programming"},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB3","doi-asserted-by":"crossref","unstructured":"R. Amadio, L. Leth, and B. Thomsen. From a concurrent \u03bb-calculus to the \u03c0-calculus. In Proceedings Foundations of Computation Theory 95, volume 965 of Lecture Notes in Computer Science. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60249-6_43"},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB4","doi-asserted-by":"crossref","unstructured":"D. Berry, R. Milner, and D. N. Turner. A semantics for ML concurrency primitives. In Proceedings POPL'92, pages 119\u2013129, 1992.","DOI":"10.1145\/143165.143191"},{"issue":"1","key":"10.1016\/S1571-0661(04)00145-8_NEWBIB5","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","article-title":"The chemical abstract machine","volume":"96","author":"Berry","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB6","doi-asserted-by":"crossref","unstructured":"G. Boudol. The pi-calculus in direct style. In Proceedings POPL'97, pages 228\u2013241, 1997.","DOI":"10.1145\/263699.263726"},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB7","unstructured":"S. Dal Zilio. Concurrent objects in the blue calculus, 1998. Draft."},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB8","doi-asserted-by":"crossref","unstructured":"P. Di Blasio and K. Fisher. A calculus for concurrent objects. In Proceedings CONCUR'96, August 1996.","DOI":"10.1007\/3-540-61604-7_82"},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB9","doi-asserted-by":"crossref","unstructured":"W. Ferreira, M. Hennessy, and A. Jeffrey. A theory of weak bisimulation for core CML. Technical Report 95:05, Computer Science, School of Cognitive and Computing Sciences, University of Sussex, 1995.","DOI":"10.1145\/232627.232649"},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB10","doi-asserted-by":"crossref","unstructured":"C. Fournet and G. Gonthier. The reflexive CHAM and the Join-calculus. In Proceedings POPL'96, pages 372\u2013385, January 1996.","DOI":"10.1145\/237721.237805"},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB11","doi-asserted-by":"crossref","unstructured":"A. D. Gordon, P. D. Hankin, and S. B. Lassen. Compilation and equivalence of imperative objects. In Proceedings FST&TCS'97, volume 1346 of Lecture Notes in Computer Science, pages 74\u201387. Springer-Verlag, 1997. Full version available as Technical Report 429, University of Cambridge Computer Laboratory, 1997.","DOI":"10.1007\/BFb0058024"},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB12","doi-asserted-by":"crossref","unstructured":"K. Honda and M. Tokoro. An object calculus for asynchronous communication. In Proceedings ECOOP'91, volume 512 of Lecture Notes in Computer Science, pages 133\u2013147. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0057019"},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB13","doi-asserted-by":"crossref","unstructured":"C. Jones. A pi-calculus semantics for an object-based design notation. In Proceedings CONCUR'93, volume 715 of Lecture Notes in Computer Science, pages 158\u2013172. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_12"},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB14","doi-asserted-by":"crossref","unstructured":"J. Kleist and D. Sangiorgi. Imperative objects and mobile processes. In Proceedings PROCOMET'98, 1998.","DOI":"10.1007\/978-0-387-35358-6_20"},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB15","unstructured":"L. Lamport. A fast mutual exclusion algorithm. Technical Report 7, Digital Systems Research Center, November 1985."},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB16","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0960129500001407","article-title":"Functions as processes","volume":"2","author":"Milner","year":"1992","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","article-title":"A calculus of mobile processes, parts I and II","volume":"100","author":"Milner","year":"1992","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB18","doi-asserted-by":"crossref","unstructured":"S. L. Peyton Jones, A. D. Gordon, and S. Finne. Concurrent Haskell. In Proceedings POPL'96, pages 295\u2013308, 1996.","DOI":"10.1145\/237721.237794"},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB19","unstructured":"B. C. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5): 409\u2013454, 1996. Summary in Proceedings LICS'93, pp. 376\u2013385 (1993)."},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB20","doi-asserted-by":"crossref","unstructured":"B. C. Pierce and D. N. Turner. Concurrent objects in a process calculus. In Proceedings TPPP'94, volume 907 of Lecture Notes in Computer Science, pages 187\u2013215. Springer-Verlag, 1995.","DOI":"10.1007\/BFb0026570"},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB21","unstructured":"B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. Technical Report CSCI 476, Computer Science Department, Indiana University, 1997. To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling, and M. Tofte, editors, MIT Press, 1998."},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB22","unstructured":"G. D. Plotkin. A structural approach to operational semantics. Technical Report FN\u201319, DAIMI, Aarhus University, September 1981."},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB23","unstructured":"J. H. Reppy. Higher-Order Concurrency. PhD thesis, Department of Computer Science, Cornell University, 1992. Available as Technical Report 92\u20131285."},{"key":"10.1016\/S1571-0661(04)00145-8_NEWBIB24","doi-asserted-by":"crossref","unstructured":"V. T. Vasconcelos. Typed concurrent objects. In Proceedings ECOOP'94, 1994.","DOI":"10.1007\/BFb0052178"},{"issue":"2","key":"10.1016\/S1571-0661(04)00145-8_NEWBIB25","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1006\/inco.1995.1018","article-title":"Objects in the pi-calculus","volume":"116","author":"Walker","year":"1995","journal-title":"Information and Computation"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001458?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001458?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,6,14]],"date-time":"2021-06-14T04:55:38Z","timestamp":1623646538000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104001458"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998]]}},"alternative-id":["S1571066104001458"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00145-8","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}