{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T19:24:20Z","timestamp":1792956260134,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540662242","type":"print"},{"value":"9783540485230","type":"electronic"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/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":"https:\/\/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-48523-6_2","type":"book-chapter","created":{"date-parts":[[2007,12,10]],"date-time":"2007-12-10T12:06:31Z","timestamp":1197288391000},"page":"10-24","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Wide Area Computation"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,1,18]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Bharat, K. and L. Cardelli: Migratory applications, Proc. of the ACM Symposium on User Interface Software and Technology\u2019 95. 133\u2013142. 1995.","DOI":"10.1145\/215585.215711"},{"issue":"4","key":"2_CR2","doi-asserted-by":"publisher","first-page":"824","DOI":"10.1145\/4221.214134","volume":"32","author":"G. Bracha","year":"1985","unstructured":"Bracha, G. and S. Toueg, Asynchronous consensus and broadcast protocols. J.ACM\n 32(4), 824\u2013840. 1985.","journal-title":"J.ACM"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Abstractions for Mobile Computation, in Secure Internet Programming: Security Issues for Distributed and Mobile Objects, Jan Vitek and Christian Jensen (Eds.). Springer. 1999. (To appear.)","DOI":"10.1007\/3-540-48749-2_4"},{"issue":"1","key":"2_CR4","first-page":"27","volume":"8","author":"L. Cardelli","year":"1995","unstructured":"Cardelli, L., A language with distributed scope. Computing Systems, 8(1), 27\u201359. MIT Press. 1995.","journal-title":"Computing Systems"},{"key":"2_CR5","unstructured":"Cardelli, L. and R. Davies. Service combinators for web computing. Proc. of the First Usenix Conference on Domain Specific Languages, Santa Barbara. 1997."},{"key":"2_CR6","unstructured":"Cardelli L., G. Ghelli, and A.D. Gordon, Mobility Types for Mobile Ambients, Proc. ICALP\u201999."},{"key":"2_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computational Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L. and A.D. Gordon, Mobile ambients, in Foundations of Software Science and Computational Structures, Maurice Nivat (Ed.), Lecture Notes in Computer Science 1378, Springer, 140\u2013155. 1998."},{"issue":"4","key":"2_CR8","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N. and D. Gelernter, Linda in Context. Communications of the ACM, 32(4), 444\u2013458. 1989.","journal-title":"Communications of the ACM"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Chandra, T.D., S. Toueg, Unreliable failure detectors for asynchronous systems. ACM Symposium on Principles of Distributed Computing, 325\u2013340. 1991.","DOI":"10.1145\/112600.112627"},{"issue":"2","key":"2_CR10","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"M.J. Fischer","year":"1985","unstructured":"Fischer, M.J., N.A. Lynch, and M.S. Paterson, Impossibility of distributed consensus with one faulty process. J.ACM\n 32(2), 374\u2013382. 1985.","journal-title":"J.ACM"},{"issue":"1","key":"2_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., J. Parrow and D. Walker, A calculus of mobile processes, Parts 1-2. Information and Computation, 100(1), 1\u201377.1992","journal-title":"Information and Computation"},{"key":"2_CR12","unstructured":"Sander, A. and C.F. Tschudin, Towards mobile cryptography, ICSI technical report 97049, November 1997. Proc. IEEE Symposium on Security and Privacy, Spring 1998."},{"issue":"4","key":"2_CR13","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1145\/88616.88631","volume":"12","author":"J.W. Stamos","year":"1990","unstructured":"Stamos, J.W. and D.K. Gifford, Remote evaluation. ACM Transactions on Programming Languages and Systems\n 12(4), 537\u2013565.1990.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2_CR14","unstructured":"White, J.E., Mobile agents. In Software Agents, J. Bradshaw, ed. AAAI Press \/ The MIT Press. 1996."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48523-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,22]],"date-time":"2022-01-22T03:04:15Z","timestamp":1642820655000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-48523-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662242","9783540485230"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48523-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"18 January 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}