{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T05:28:07Z","timestamp":1733290087769,"version":"3.30.1"},"reference-count":39,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":3972,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1016\/s0167-6423(02)00034-5","type":"journal-article","created":{"date-parts":[[2002,10,15]],"date-time":"2002-10-15T01:22:28Z","timestamp":1034644948000},"page":"293-342","source":"Crossref","is-referenced-by-count":4,"title":["Imperative objects as mobile processes"],"prefix":"10.1016","volume":"44","author":[{"given":"Josva","family":"Kleist","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Sangiorgi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0167-6423(02)00034-5_BIB1","series-title":"A Theory of Objects, Monographs in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","author":"Abadi","year":"1996"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB2","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Cardelli, R. Viswanathan, An interpretation of objects and objects types, in: Proc. 23th POPL, ACM Press, New York, 1996.","DOI":"10.1145\/237721.237809"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB3","doi-asserted-by":"crossref","unstructured":"L. Aceto, H. H\u00fcttel, A. Ing\u00f3lfsd\u00f3ttir, J. Kleist, Relating semantic models for the object calculus, in: Proc. of Express 97 Workshop, Electronic Notes in Theoretical Computer Science, vol. 7, Elsevier Science BV, Amsterdam, 1997.","DOI":"10.1016\/S1571-0661(05)80462-1"},{"issue":"4","key":"10.1016\/S0167-6423(02)00034-5_BIB4","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/BF01887214","article-title":"Issues in the design of a parallel object-oriented language","volume":"1","author":"America","year":"1989","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB5","unstructured":"H.P. Barendregt, The Lambda-Calculus: its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics, vol. 103, North-Holland, Amsterdam, 1984, revised edition."},{"issue":"1","key":"10.1016\/S0167-6423(02)00034-5_BIB6","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1145\/200836.200876","article-title":"Bisimulation can't be traced","volume":"42","author":"Bloom","year":"1995","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/S0167-6423(02)00034-5_BIB7","unstructured":"M. Boreale, On the expressiveness of internal mobility in name-passing calculi, Theoret. Comput. Sci. 195 (2) (1998) 205\u2013226. An extended abstract appeared in Proc. CONCUR \u201996, Lecture Notes in Computer Science, vol. 1119, Springer, Berlin, pp. 163\u2013178."},{"key":"10.1016\/S0167-6423(02)00034-5_BIB8","doi-asserted-by":"crossref","unstructured":"M. Boreale, D. Sangiorgi, Bisimulation in name-passing calculi without matching, in: Proc. 13th IEEE Symp. on Logic in Computer Science (LICS\u201998), IEEE Computer Society Press, Silver Spring, MD, 1998.","DOI":"10.1109\/LICS.1998.705653"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB9","unstructured":"L. Cardelli, A language with distributed scope, Comput. Systems 8(1) (1995) 27\u201359. Short version in Proc. POPL \u201995, A preliminary version appeared as Report 122, Digital Systems Research, June 1994."},{"key":"10.1016\/S0167-6423(02)00034-5_BIB10","doi-asserted-by":"crossref","unstructured":"A.D. Gordon, G.D. Rees, Bisimilarity for a first-order calculus of objects with subtyping, in: Proc. 23rd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, St. Petersburg Beach, FL, 1996, ACM Press, New York.","DOI":"10.1145\/237721.237807"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB11","doi-asserted-by":"crossref","unstructured":"A.D. Gordon, P.D. Hankin, S.B. Lassen, Compilation and equivalence of imperative objects, in: Proc. 17th FST\u2013TCS Conf., Kharagpur, India, Dec. 1997, Lecture Notes in Computer Science, vol. 1346, Springer, Berlin.","DOI":"10.1007\/BFb0058024"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB12","doi-asserted-by":"crossref","unstructured":"K. Honda, Composing processes, in: Proc. POPL \u201996, January 1996, ACM, New York, pp. 344\u2013357.","DOI":"10.1145\/237721.237802"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB13","doi-asserted-by":"crossref","unstructured":"H. H\u00fcttel, J. Kleist, Objects as mobile processes, Technical Report RR-96-38, BRICS\u2014Basic Research in Computer Science, 1996.","DOI":"10.7146\/brics.v3i38.20020"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB14","first-page":"158","article-title":"A \u03c0-calculus semantics for an object-based design notation","volume":"vol. 715","author":"Jones","year":"1993"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB15","series-title":"Proc. 23th POPL","first-page":"358","article-title":"Linearity and the \u03c0-calculus","author":"Kobayashi","year":"1996"},{"issue":"1","key":"10.1016\/S0167-6423(02)00034-5_BIB16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","article-title":"Bisimulation through probabilistic testing","volume":"94","author":"Larsen","year":"1981","journal-title":"Inform. and Comput."},{"issue":"1\u20132","key":"10.1016\/S0167-6423(02)00034-5_BIB17","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/S0304-3975(97)00111-4","article-title":"Partial confluence of processes and systems of objects","volume":"206","author":"Liu","year":"1998","journal-title":"Theoret. Comput. Sci."},{"issue":"3","key":"10.1016\/S0167-6423(02)00034-5_BIB18","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1017\/S0956796800000125","article-title":"Equivalence in functional languages with effects","volume":"1","author":"Mason","year":"1991","journal-title":"J. Funct. Program."},{"key":"10.1016\/S0167-6423(02)00034-5_BIB19","first-page":"390","article-title":"Local \u03c0-calculus at work","volume":"vol. 1872","author":"Merro","year":"2000"},{"year":"1989","series-title":"Communication and Concurrency","author":"Milner","key":"10.1016\/S0167-6423(02)00034-5_BIB20"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB21","doi-asserted-by":"crossref","unstructured":"R. Milner, The polyadic \u03c0-calculus: a tutorial, Technical Report ECS-LFCS-91-180, LFCS, Deptartment of Computer Science, University of Edinburgh, October 1991. Also in: F.L. Bauer, W. Brauer, H. Schwichtenberg (Eds.), Logic and Algebra of Specification, Springer, Berlin, 1993.","DOI":"10.1007\/978-3-642-58041-3_6"},{"issue":"2","key":"10.1016\/S0167-6423(02)00034-5_BIB22","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0960129500001407","article-title":"Functions as processes","volume":"2","author":"Milner","year":"1992","journal-title":"J. Math. Struct. Comput. Sci."},{"key":"10.1016\/S0167-6423(02)00034-5_BIB23","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":"Inform. and Comput."},{"key":"10.1016\/S0167-6423(02)00034-5_BIB24","first-page":"685","article-title":"Barbed bisimulation","volume":"vol. 623","author":"Milner","year":"1992"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB25","first-page":"324","article-title":"Polarized name passing","volume":"vol. 1026","author":"Odersky","year":"1995"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB26","series-title":"Proc. CONCUR \u201996, Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/3-540-61604-7_52","article-title":"On transformations of concurrent object programs","author":"Philippou","year":"1996"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB27","doi-asserted-by":"crossref","unstructured":"B.C. Pierce, D. Sangiorgi, Typing and subtyping for mobile processes, J. Math. Struct. Comput. Sci. 6 (5) (1996) 409\u2013454. An extended abstract in: Proc. LICS 93, IEEE Computer Society Press, Silver Spring, MD","DOI":"10.1017\/S096012950007002X"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB28","doi-asserted-by":"crossref","unstructured":"B.C. Pierce, D.N. Turner, Pict: a programming language based on the pi-calculus, in: G. Plotkin, C. Stirling, M. Tofte (Eds.), Proof, Language and Interaction: Essays in Honour of Robin Milner, Massachusetts Institute of Technology, 2000. Available as CSCI Technical Report 476, Indiana University, March 1997.","DOI":"10.7551\/mitpress\/5641.003.0022"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB29","unstructured":"D. Sangiorgi, Expressing mobility in process algebras: first-order and higher-order paradigms, Ph.D. Thesis CST-99-93, Department of Computer Science, University of Edinburgh, 1992."},{"issue":"1","key":"10.1016\/S0167-6423(02)00034-5_BIB30","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1006\/inco.1994.1042","article-title":"The lazy lambda calculus in a concurrency scenario","volume":"111","author":"Sangiorgi","year":"1994","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0167-6423(02)00034-5_BIB31","unstructured":"D. Sangiorgi, An interpretation of typed objects into typed \u03c0-calculus, Inform. and Comput. 143 (1) (1998) 34\u201373. Earlier version published as Rapport de Recherche RR-3000, INRIA Sophia-Antipolis, August 1996."},{"key":"10.1016\/S0167-6423(02)00034-5_BIB32","unstructured":"D. Sangiorgi, The name discipline of uniform receptiveness, Theoret. Comput. Sci. 221 (1\u20132) (1999) 457\u2013493. An abstract appeared in the Proc. ICALP \u201997, Lecture Notes in Computer Science, vol. 1256, Springer, Berlin, pp. 303\u2013313."},{"key":"10.1016\/S0167-6423(02)00034-5_BIB33","doi-asserted-by":"crossref","unstructured":"D. Sangiorgi, Lazy functions and mobile processes, in: G. Plotkin, C. Stirling, M. Tofte (Eds.), Proof, Language and Interaction: Essays in Honour of Robin Milner, Massachusetts Institute of Technology Press, Cambridge, MA, 2000.","DOI":"10.7551\/mitpress\/5641.003.0033"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB34","unstructured":"D.N. Turner, The polymorphic \u03c0-calculus: theory and implementation, Ph.D. thesis, Department of Computer Science, University of Edinburgh, 1996."},{"key":"10.1016\/S0167-6423(02)00034-5_BIB35","first-page":"173","article-title":"A process algebra semantics of POOL","volume":"vol. 17","author":"Vaandrager","year":"1990"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB36","first-page":"524","article-title":"Principal typing schemes in a polyadic \u03c0-calculus","volume":"vol. 715","author":"Vasconcelos","year":"1993"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB37","first-page":"460","article-title":"A typing system for a calculus of objects","volume":"vol. 742","author":"Vasconcelos","year":"1993"},{"key":"10.1016\/S0167-6423(02)00034-5_BIB38","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1006\/inco.1995.1018","article-title":"Objects in the \u03c0-calculus","volume":"116","author":"Walker","year":"1995","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0167-6423(02)00034-5_BIB39","first-page":"371","article-title":"Graph types for monadic mobile processes","volume":"vol. 1180","author":"Yoshida","year":"1996"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642302000345?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642302000345?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,3]],"date-time":"2024-12-03T18:57:38Z","timestamp":1733252258000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642302000345"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,9]]}},"alternative-id":["S0167642302000345"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(02)00034-5","relation":{},"ISSN":["0167-6423"],"issn-type":[{"type":"print","value":"0167-6423"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}