{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:16:58Z","timestamp":1762460218151},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678236"},{"type":"electronic","value":"9783540449294"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44929-9_28","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T13:20:53Z","timestamp":1178371253000},"page":"390-408","source":"Crossref","is-referenced-by-count":0,"title":["Local \u03c0-Calculus at Work: Mobile Objects as Mobile Processes"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Merro","sequence":"first","affiliation":[]},{"given":"Josva","family":"Kleist","sequence":"additional","affiliation":[]},{"given":"Uwe","family":"Nestmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"M. Abadi and L. Cardelli. A Theory of Objects. Monographs CS. Springer, 1996."},{"issue":"2","key":"28_CR2","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/S0304-3975(97)00223-5","volume":"195","author":"R. M. Amadio","year":"1998","unstructured":"R. M. Amadio, I. Castellani, and D. Sangiorgi. On Bisimulations for the Asynchronous \u03c0-calculus. Theoretical Computer Science, 195(2):291\u2013324, 1998.","journal-title":"Theoretical Computer Science"},{"key":"28_CR3","unstructured":"L. Cardelli. obliq-std.exe \u2014 Binaries for Windows NT. http:\/\/www.luca.-demon.co.uk\/Obliq\/Obliq.html , 1994."},{"issue":"1","key":"28_CR4","first-page":"27","volume":"8","author":"L. Cardelli","year":"1995","unstructured":"L. Cardelli. A Language with Distributed Scope. Computing Systems, 8(1):27\u201359, 1995. An exteded abstract as appeared in Proceedings of POPL\u2019 95","journal-title":"Computing Systems"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"C. Fournet and G. Gonthier. The Reflexive Chemical Abstract Machine and the join-calculus. In Proceedings of POPL\u2019 96, ACM, 1996.","DOI":"10.1145\/237721.237805"},{"key":"28_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of FSTTCS\u2019 97","author":"A. D. Gordon","year":"1997","unstructured":"A. D. Gordon, P. D. Hankin, and S. B. Lassen. Compilation and Equivalence of Imperative Objects. In Proceedings of FSTTCS\u2019 97, LNCS 1346. Springer, 1997."},{"key":"28_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of ECOOP\u2019 91","author":"K. Honda","year":"1991","unstructured":"K. Honda and M. Tokoro. An Object Calculus for Asynchronous Communication. In Proceedings of ECOOP\u2019 91, volume 512 of LNCS, Springer, 1991."},{"issue":"2","key":"28_CR8","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0304-3975(95)00074-7","volume":"152","author":"K. Honda","year":"1995","unstructured":"K. Honda and N. Yoshida. On Reduction-Based Process Semantics. Theoretical Computer Science, 152(2):437\u2013486, 1995.","journal-title":"Theoretical Computer Science"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"H. H\u00fcttel and J. Kleist. Objects as Mobile Processes. Research Series RS-96-38, BRICS, 1996. Presented at MFPS\u2019 96.","DOI":"10.7146\/brics.v3i38.20020"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"J. Kleist and D. Sangiorgi. Imperative Objects and Mobile Processes. In Proceedings of PROCOMET\u2019 98. Chapman & Hall, 1998.","DOI":"10.1007\/978-0-387-35358-6_20"},{"key":"28_CR11","series-title":"PhD thesis","volume-title":"Local \u03c0: A Model for Concurrent and Distributed Programming Languages","author":"M. Merro","year":"2000","unstructured":"M. Merro. Local \u03c0: A Model for Concurrent and Distributed Programming Languages. PhD thesis, Ecole des Mines, France, 2000."},{"key":"28_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of ICALP\u2019 98","author":"M. Merro","year":"1998","unstructured":"M. Merro and D. Sangiorgi. On Asynchrony in Name-Passing Calculi. In Proceedings of ICALP\u2019 98, volume 1443 of LNCS. Springer, 1998."},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"R. Milner. The Polyadic \u03c0-calculus: A Tutorial. In Logic and Algebra of Specification, volume 94 of Series F. NATO ASI, Springer, 1993.","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"28_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of ICALP\u2019 92","author":"R. Milner","year":"1992","unstructured":"R. Milner and D. Sangiorgi. Barbed Bisimulation. In Proceedings of ICALP\u2019 92, volume 623 of LNCS. Springer, 1992."},{"key":"28_CR15","unstructured":"U. Nestmann. Mobile Objects (A Project Overview). In Proceedings of FBT\u2019 99. Herbert Utz Verlag, 1999."},{"key":"28_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1353","DOI":"10.1007\/3-540-48311-X_191","volume-title":"Journal of Information and Computation","author":"U. Nestmann","year":"1999","unstructured":"U. Nestmann, H. H\u00fcttel, J. Kleist, and M. Merro. Aliasing Models for Mobile Objects. Accepted for Journal of Information and Computation. An extended abstract has appeared as Distinguished Paper in the Proceedings of EUROPAR\u2019 99, pages 1353\u20131368, LNCS 1685, September 1999, 1999."},{"issue":"5","key":"28_CR17","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1017\/S096012950007002X","volume":"6","author":"B. C. Pierce","year":"1996","unstructured":"B. C. Pierce and D. Sangiorgi. Typing and Subtyping for Mobile Processes. Mathematical Structures in Computer Science, 6(5):409\u2013454, 1996.","journal-title":"Mathematical Structures in Computer Science"},{"issue":"2","key":"28_CR18","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0304-3975(97)00222-3","volume":"195","author":"A. Philippou","year":"1998","unstructured":"A. Philippou and D. Walker. On Transformations of Concurrent Object Programs. Theoretical Computer Science, 195(2):259\u2013289, 1998.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"28_CR19","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1006\/inco.1998.2711","volume":"143","author":"D. Sangiorgi","year":"1998","unstructured":"D. Sangiorgi. An Interpretation of Typed Objects into Typed \u03c0-calculus. Information and Computation, 143(1):34\u201373, 1998.","journal-title":"Information and Computation"},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"D. Sangiorgi. Typed \u03c0-calculus atWork: A proof of Jones\u03c0s parallelisation theorem on Concurrent Objects. Theory and Practice of Object-Oriented Systems, 5, 1999.","DOI":"10.1002\/(SICI)1096-9942(199901\/03)5:1<25::AID-TAPO3>3.0.CO;2-A"},{"key":"28_CR21","unstructured":"C. L. Talcott. Obliq Semantics Notes. Unpublished note. Available from http:\/\/clt@cs.stanford.edu , Jan. 1996."},{"issue":"2","key":"28_CR22","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D. Walker","year":"1995","unstructured":"D. Walker. Objects in the \u03c0-calculus. Information and Computation, 116(2):253\u2013271, 1995.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44929-9_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,21]],"date-time":"2020-04-21T19:14:33Z","timestamp":1587496473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44929-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678236","9783540449294"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-44929-9_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}