{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:53:55Z","timestamp":1743029635706,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664437"},{"type":"electronic","value":"9783540483113"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48311-x_191","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:16:48Z","timestamp":1269883008000},"page":"1353-1368","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Aliasing Models for Object Migration\u22c6"],"prefix":"10.1007","author":[{"given":"Uwe","family":"Nestmann","sequence":"first","affiliation":[]},{"given":"Hans","family":"H\u00fcttel","sequence":"additional","affiliation":[]},{"given":"Josva","family":"Kleist","sequence":"additional","affiliation":[]},{"given":"Massimo","family":"Merro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,8,6]]},"reference":[{"issue":"13","key":"191_CR1","first-page":"151","volume":"1","author":"M. Abadi","year":"1996","unstructured":"M. Abadi and L. Cardelli. An Imperative Object Calculus. Theory and Practice of Object Systems, 1(13):151\u2013166, 1996.","journal-title":"Theory and Practice of Object Systems"},{"key":"191_CR2","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer, 1996.","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"191_CR3","unstructured":"L. Cardelli. obliq-std.exe \u2014 Binaries for Windows NT. http:\/\/www.luca.demon.co.uk\/Obliq\/Obliq.html ."},{"issue":"1","key":"191_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. Short version in Proceedings of POPL\u2019 95. A preliminary version appeared as Report 122, Digital Systems Research, June 1994.","journal-title":"Computing Systems"},{"key":"191_CR5","unstructured":"L. Cardelli. On the Semantics of Obliq. Personal Communication, 1998."},{"key":"191_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1007\/3-540-61604-7_82","volume-title":"Proceedings of CONCUR\u2019 96","author":"P. Di Blasio","year":"1996","unstructured":"P. Di Blasio and K. Fisher. A Concurrent Object Calculus. In U. Montanari and V. Sassone, eds, Proceedings of CONCUR\u2019 96, volume 1119 of LNCS, pages 655\u2013670. Springer, 1996. An extended version appeared as Stanford University Technical Note STAN-CS-TN-96-36, 1996."},{"key":"191_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"844","DOI":"10.1007\/3-540-57887-0_128","volume-title":"Proceedings of TACS\u2019 94","author":"K. Fisher","year":"1994","unstructured":"K. Fisher and J. Mitchell. Notes on Typed Object-Oriented Programming. In M. Hagiya and J.C. Mitchell, eds, Proceedings of TACS\u2019 94, volume 789 of LNCS, pages 844\u2013885. Springer, 1994."},{"key":"191_CR8","doi-asserted-by":"crossref","unstructured":"A.D. Gordon and P.D. Hankin. A Concurrent Object Calculus: Reduction and Typing. In U. Nestmann and B.C. Pierce, eds, Proceedings of HLCL\u2019 98, volume 16.3 of ENTCS. Elsevier Science Publishers, 1998.","DOI":"10.1016\/S1571-0661(04)00145-8"},{"key":"191_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/BFb0058024","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 S. Ramesh and G. Sivakumar, eds, Proceedings of FSTTCS\u2019 97, volume 1346 of LNCS, pages 74\u201387. Springer, Dec. 1997. Full version available as Technical Report 429, University of Cambridge Computer Laboratory, June 1997."},{"key":"191_CR10","doi-asserted-by":"crossref","unstructured":"H. H\u00fcttel, J. Kleist, M. Merro and U. Nestmann. Migration = Cloning; Aliasing (Preliminary Version). In Informal Proceedings of the Sixth International Workshop on Foundations of Object-Oriented Languages (FOOL 6, San Antonio, Texas, USA). Sponsored by ACM\/SIGPLAN, 1999. Available from http:\/\/www.cs.williams.edu\/~kim\/FOOL\/sched6.html .","DOI":"10.7146\/brics.v5i33.19439"},{"key":"191_CR11","doi-asserted-by":"crossref","unstructured":"J. Kleist and D. Sangiorgi. Imperative Objects and Mobile Processes. In D. Gries and W.-P. de Roever, eds, Proceedings of PROCOMET\u2019 98, pages 285\u2013303. International Federation for Information Processing (IFIP), Chapman & Hall, 1998.","DOI":"10.1007\/978-0-387-35358-6_20"},{"key":"191_CR12","unstructured":"M. Merro, H. H\u00fcttel, J. Kleist and U. Nestmann. Mobile Objects As Mobile Processes. Draft. Available from Massimo.Merro@sophia.inria.fr, 1999."},{"key":"191_CR13","unstructured":"E. Moggi. Computational Lambda Calculus and Monads. Technical Report ECS-LFCS-88-66, LFCS, University of Edinburgh, Oct. 1988."},{"key":"191_CR14","unstructured":"J.-H. Morris. Lambda Calculus Models of Programming Languages. PhD thesis, MIT, 1968."},{"key":"191_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"856","DOI":"10.1007\/BFb0055108","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 K.G. Larsen, S. Skyum and G. Winskel, eds, Proceedings of ICALP\u2019 98, volume 1443 of LNCS, pages 856\u2013867. Springer, July 1998."},{"key":"191_CR16","unstructured":"C.L. Talcott. Interaction Semantics for Components of Distributed Systems. In 1st IFIP Workshop on Formal Methods for Open Object-based Distributed Systems, FMOODS\u201996, 1996. http:\/\/www-formal.stanford.edu\/MT\/96fmoods.ps.Z ."},{"key":"191_CR17","unstructured":"C.L. Talcott. Obliq semantics notes. Unpublished note. Available from clt@cs.stanford.edu, Jan. 1996."}],"container-title":["Lecture Notes in Computer Science","Euro-Par\u201999 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48311-X_191","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T06:41:54Z","timestamp":1685515314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48311-X_191"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664437","9783540483113"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48311-x_191","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"6 August 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}