{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:14:32Z","timestamp":1772835272466,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540666738","type":"print"},{"value":"9783540479598","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-47959-7_1","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:48:46Z","timestamp":1184600926000},"page":"1-31","source":"Crossref","is-referenced-by-count":18,"title":["Location-Independent Communication for Mobile Agents: A Two-Level Architecture"],"prefix":"10.1007","author":[{"given":"Peter","family":"Sewell","sequence":"first","affiliation":[]},{"given":"Pawel T.","family":"Wojciechowski","sequence":"additional","affiliation":[]},{"given":"Benjamin C.","family":"Pierce","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,14]]},"reference":[{"issue":"2","key":"1_CR1","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"M. Abadi","year":"1991","unstructured":"Mart\u2019in Abadi, Luca Cardelli, Benjamin Pierce, and Gordon Plotkin. Dynamic typing in a statically typed language. ACM Transactions on ProgrammingLanguages and Systems,, 13(2):237\u2013268, April 1991.","journal-title":"ACM Transactions on ProgrammingLanguages and Systems"},{"key":"1_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/3-540-58715-2_126","volume-title":"Proceedings of 14th FST and TCS Conference, FST-TCS\u201994","author":"R. M. Amadio","year":"1994","unstructured":"R. M. Amadio and S. Prasad. Localities and failures. In P. S. Thiagarajan, editor, Proceedings of 14th FST and TCS Conference, FST-TCS\u201994. LNCS 880, pages 205\u2013216. Springer-Verlag, 1994."},{"key":"1_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BFb0055630","volume-title":"Proceedings of CONCUR\u2019 98: Concurrency Theory","author":"R. M. Amadio","year":"1998","unstructured":"Roberto M. Amadio and Sanjiva Prasad. Modelling IP mobility. In Proceedings of CONCUR\u2019 98: Concurrency Theory. LNCS 1466, pages 301\u2013316, September 1998."},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217\u2013248, 1992.","journal-title":"Theoretical Computer Science"},{"key":"1_CR5","unstructured":"G\u2019erard Boudol. Asynchrony and the \u03c0-calculus (note). Rapport de Recherche 1702, INRIA Sofia-Antipolis, May 1992."},{"key":"1_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-17184-3_38","volume-title":"Combinators and Functional Programming Languages","author":"L. Cardelli","year":"1986","unstructured":"Luca Cardelli. Amber and the amber machine. In Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet, editors, Combinators and Functional Programming Languages, LNCS 242, pages 21\u201370, 1986."},{"key":"1_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Proc. of Foundations of Software Science and Computation Structures (FoSSaCS), ETAPS\u201998","author":"L. Cardelli","year":"1998","unstructured":"Luca Cardelli and Andrew D. Gordon. Mobile ambients. In Proc. of Foundations of Software Science and Computation Structures (FoSSaCS), ETAPS\u201998, LNCS 1378, pages 140\u2013155, March 1998."},{"key":"1_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/3-540-62852-5_4","volume-title":"Mobile Object Systems \u2014 Towards the Programmable Internet","author":"D. Chess","year":"1997","unstructured":"D. Chess, C. Harrison, and A. Kershenbaum. Mobile agents: Are they a good idea? In Mobile Object Systems \u2014 Towards the Programmable Internet. LNCS 1222, pages 25\u201348, 1997."},{"key":"1_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"Proceedings of CONCUR\u2019 96","author":"F. Fournet","year":"1996","unstructured":"[FGL+96]_C\u2019edric Fournet, Georges Gonthier, Jean-Jacques L\u2019evy, Luc Maranget, and Didier R\u2019emy. A calculus of mobile agents. In Proceedings of CONCUR\u2019 96. LNCS 1119, pages 406\u2013421. Springer-Verlag, August 1996."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Matthew Hennessy and James Riely. Resource access control in systems of mobile agents. In Workshop on High-Level Concurrent Languages, 1998. Full version as University of Sussex technical report CSTR 98\/02.","DOI":"10.1016\/S1571-0661(04)00141-0"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Matthew Hennessy and James Riely. Type-safe execution of mobile agents in anonymous networks. In Workshop on Mobile Object Systems, (satellite of ECOOP\u2019 98), 1998. Full version as University of Sussex technical report CSTR 98\/03.","DOI":"10.1007\/3-540-49255-0_81"},{"key":"1_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BFb0057019","volume-title":"Proceedings of ECOOP\u2019 91","author":"K. Honda","year":"1991","unstructured":"Kohei Honda and Mario Tokoro. An object calculus for asynchronous communication. In Pierre America, editor, Proceedings of ECOOP\u2019 91, LNCS 512, pages 133\u2013147, July 1991."},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Simon Peyton Jones, Andrew Gordon, and Sigbjorn Finne. Concurrent Haskell. In Conference Record of the 23 rd ACM Symposium on Principles of Programming Languages, pages 295\u2013308, St. Petersburg, Florida, January 21\u201324, 1996. ACM Press.","DOI":"10.1145\/237721.237794"},{"key":"1_CR14","unstructured":"The join calculus language, 1998. Implementations available from http:\/\/www.pauillac.inria.fr\/join\/unix\/eng.htm ."},{"key":"1_CR15","unstructured":"Nancy A. Lynch. Distributed algorithms. Morgan Kaufmann, 1996."},{"issue":"2","key":"1_CR16","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"Robin Milner. Functions as processes. Journal of Mathematical Structures in Computer Science, 2(2):119\u2013141, 1992.","journal-title":"Journal of Mathematical Structures in Computer Science"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"D. S. Milojicic, W. LaForge, and D. Chauhan. Mobile Objects and Agents (MOA). In USENIX COOTS\u2019 98, Santa Fe, April 1998.","DOI":"10.1088\/0967-1846\/5\/4\/007"},{"issue":"1","key":"1_CR18","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 + II. Information and Computation, 100(1):1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"R. M. Needham. Names. In S. Mullender, editor, Distributed Systems, pages 89\u2013101. Addison-Wesley, 1989.","DOI":"10.1145\/90417.90741"},{"key":"1_CR20","unstructured":"ObjectSpace. Voyager core technology user guide, version 2.0 beta 1. Available from http:\/\/www.objectspace.com\/ , 1997."},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Benjamin C. Pierce and David N. Turner. Concurrent objects in a process calculus. In Theoryand Practice of Parallel Programming (TPPP), Sendai, Japan, November 1994.","DOI":"10.1007\/BFb0026570"},{"key":"1_CR22","unstructured":"Benjamin C. Pierce and David 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, Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, MIT Press."},{"key":"1_CR23","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":"1_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/3-540-63165-8_203","volume-title":"Proceedings of ICALP\u2019 97","author":"J. Riely","year":"1997","unstructured":"James Riely and Matthew Hennessy. Distributed processes and location failures. In Proceedings of ICALP\u2019 97. LNCS 1256, pages 471\u2013481. Springer-Verlag, July 1997."},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"James Riely and Matthew Hennessy. A typed language for distributed mobile processes. In Proceedings of the 25th POPL, January 1998.","DOI":"10.1145\/268946.268978"},{"key":"1_CR26","unstructured":"Peter Sewell. Global\/local subtyping for a distributed \u03c0-calculus. Technical Report 435, University of Cambridge, August 1997. Available from http:\/\/www.cl.cam.ac.uk\/users\/pes20\/ ."},{"key":"1_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/3-540-63141-0_27","volume-title":"Proceedings of CONCUR\u2019 97","author":"P. Sewell","year":"1997","unstructured":"Peter Sewell. On implementations and semantics of a concurrent programming language. In Proceedings of CONCUR\u2019 97. LNCS 1243, pages 391\u2013405, 1997."},{"key":"1_CR28","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"695","DOI":"10.1007\/BFb0055094","volume-title":"Proceedings of ICALP\u2019 98","author":"P. Sewell","year":"1998","unstructured":"Peter Sewell. Global\/local subtyping and capability inference for a distributed \u03c0-calculus. In Proceedings of ICALP\u2019 98, LNCS 1443, pages 695\u2013706, 1998."},{"key":"1_CR29","unstructured":"Peter Sewell. A brief introduction to applied \u03c0, January 1999. Lecture notes for the Math.t Instructional Meeting on Recent Advances in Semantics and Types for Concurrency: Theory and Practice, July 1998. Available from http:\/\/www.cl.cam.ac.uk\/users\/pes20\/ ."},{"key":"1_CR30","unstructured":"Peter Sewell, PaweLl T. Wojciechowski, and Benjamin C. Pierce. Location independence for mobile agents. In Workshop on Internet Programming Languages, Chicago, May 1998."},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Tatsurou Sekiguchi and Akinori Yonezawa. A calculus with code mobility. In Howard Bowman and John Derrick, editors, Formal Methods for Open Object-based Distributed Systems (Proceedings of FMOODS\u2019 97), pages 21\u201336. IFIP, Chapman and Hall, July 1997.","DOI":"10.1007\/978-0-387-35261-9_3"},{"key":"1_CR32","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-61604-7_61","volume-title":"Proceedings of CONCUR\u2019 96","author":"B. Thomsen","year":"1996","unstructured":"Bent Thomsen, Lone Leth, and Tsung-Min Kuo. A Facile tutorial. In Proceedings of CONCUR\u2019 96. LNCS 1119, pages 278\u2013298. Springer-Verlag, August 1996."},{"key":"1_CR33","unstructured":"David N. Turner. The Polymorphic Pi-calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1996."},{"key":"1_CR34","unstructured":"Jan Vitek and Guiseppe Castagna. Towards a calculus of mobile computations. In Workshop on Internet Programming Languages, Chicago, May 1998."}],"container-title":["Lecture Notes in Computer Science","Internet Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47959-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T01:29:21Z","timestamp":1587778161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47959-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666738","9783540479598"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-47959-7_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}