{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T15:38:15Z","timestamp":1791041895523,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540661306","type":"print"},{"value":"9783540487494","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48749-2_4","type":"book-chapter","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T12:22:57Z","timestamp":1192796577000},"page":"51-94","source":"Crossref","is-referenced-by-count":81,"title":["Abstractions for Mobile Computation"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C, Gonthier, G.: Secure Implementation of Channel Abstractions. Proc. of the Thirteenth Annual IEEE Symposium on Logic in Computer Science (1998) 105\u2013116.","DOI":"10.1109\/LICS.1998.705647"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Gordon, A.D.: A Calculus for Cryptographic Protocols: the Spi Calculus. Proc. of the Fourth ACM Conference on Computer and Communications Security (1997) 36\u201347.","DOI":"10.1145\/266420.266432"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Agha, G.A.: Actors: A Model of Concurrent Computing in Distributed Systems. MIT Press (1986).","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"4_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Proc. COORDINATION 97","author":"R.M. Amadio","year":"1997","unstructured":"Amadio, R.M.: An Asynchronous Model of Locality, Failure, and Process Mobility. Proc. COORDINATION 97, Lecture Notes in Computer Science 1282, Springer Verlag (1997)."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Bharat, K., Cardelli, L.: Migratory Applications. Proc. of the ACM Symposium on User Interface Software and Technology\u2019 95 (1995) 133\u2013142.","DOI":"10.1145\/215585.215711"},{"key":"4_CR6","unstructured":"Berry, G.: The Foundations of Esterel. In: Plotkin, G., Stirling C, Tofte, M. (eds.): Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press (1998)."},{"issue":"1","key":"4_CR7","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"Berry, G., Boudol, G.: The Chemical Abstract Machine. Theoretical Computer Science 96(1) (1992) 217\u2013248.","journal-title":"Theoretical Computer Science"},{"key":"4_CR8","unstructured":"Boudol, G.: Asynchrony and the \u03c0-calculus. Technical Report 1702, INRIA, Sophia-Antipolis (1992)."},{"issue":"4","key":"4_CR9","doi-asserted-by":"publisher","first-page":"824","DOI":"10.1145\/4221.214134","volume":"32","author":"G. Bracha","year":"1985","unstructured":"Bracha, G., Toueg, S.: Asynchronous Consensus and Broadcast Protocols. J.ACM 32(4) (1985) 824\u2013840.","journal-title":"J.ACM"},{"key":"4_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Net Theory and Applications","year":"1980","unstructured":"Brauer, W. (ed.): Net Theory and Applications. Proc. of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, 1979. Lecture Notes in Computer Science 84. Springer-Verlag (1980)."},{"issue":"1","key":"4_CR11","first-page":"27","volume":"8","author":"L. Cardelli","year":"1995","unstructured":"Cardelli, L.: A Language with Distributed Scope. Computing Systems, 8(1), MIT Press (1995) 27\u201359.","journal-title":"Computing Systems"},{"key":"4_CR12","unstructured":"Cardelli, L., Davies, R.: Service Combinators for Web Computing. Proc. of the First Usenix Conference on Domain Specific Languages, Santa Barbara (1997)."},{"key":"4_CR13","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., Gordon, A.D.: Mobile Ambients. In: Nivat, M. (ed.): Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science 1378, Springer (1998) 140\u2013155."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Types for Mobile Ambients. Proc. of the 26th ACM Symposium on Principles of Programming Languages (1999) 79\u201392.","DOI":"10.1145\/292540.292550"},{"issue":"4","key":"4_CR15","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in Context. Communications of the ACM, 32(4) (1989) 444\u2013458.","journal-title":"Communications of the ACM"},{"key":"4_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-59450-7_5","volume-title":"Object-Based Models and Languages for Concurrent Systems","author":"N. Carriero","year":"1995","unstructured":"Carriero, N., Gelernter, D., Zuck, L.: Bauhaus Linda. In: Ciancarini, P., Nierstrasz., O., Yonezawa, A. (eds.): Object-Based Models and Languages for Concurrent Systems. Lecture Notes in Computer Science 924, Springer Verlag (1995) 66\u201376."},{"key":"4_CR17","unstructured":"Chandra, T.D., Toueg, S.: Unreliable Failure Detectors for Asynchronous Systems. ACM Symposium on Principles of Distributed Computing (1991) 325\u2013340."},{"key":"4_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"712","DOI":"10.1007\/BFb0030636","volume-title":"Proc. TAPSOFT\u201997","author":"R. Nicola De","year":"1997","unstructured":"De Nicola, R., Ferrari, G.-L., Pugliese, R.: Locality Based Linda: Programming with Explicit Localities. Proc. TAPSOFT\u201997. Lecture Notes in Computer Science 1214, Springer Verlag (1997) 712\u2013726."},{"issue":"2","key":"4_CR19","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"M.J. Fischer","year":"1985","unstructured":"Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of Distributed Consensus with One Faulty Process. J.ACM 32(2) (1985) 374\u2013382.","journal-title":"J.ACM"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Fournet, C, Gonthier, G.: The Reflexive CHAM and the Join-Calculus. Proc. 23rd Annual ACM Symposium on Principles of Programming Languages (1996) 372\u2013385.","DOI":"10.1145\/237721.237805"},{"key":"4_CR21","unstructured":"Fournet, C, Gonthier, G., L\u00e9vy, J.-J., Maranget, L., R\u00e9my, D.: A Calculus of Mobile Agents. Proc. 7th International Conference on Concurrency Theory (CONCUR\u201996) (1996) 406\u2013421."},{"key":"4_CR22","unstructured":"Fournet, C, Maranget, L.: The Join-Calculus Language-Documentation and User\u2019s Guide. <http:\/\/pauillac.inria.fr\/join\/> (1997)."},{"key":"4_CR23","unstructured":"Gosling, J., Joy, B., Steele, G.: The Java Language Specification. Addison-Wesley (1996)."},{"issue":"8","key":"4_CR24","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R., Communicating Sequential Processes. Communications of the ACM 21(8) (1978)666\u2013678.","journal-title":"Communications of the ACM"},{"key":"4_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BFb0057019","volume-title":"Proc. ECOOP\u201991","author":"K. Honda","year":"1991","unstructured":"Honda., K., Tokoro, M.: An Object Calculus for Asynchronous Communication. Proc. ECOOP\u201991, Lecture Notes in Computer Science 521, Springer Verlag (1991) 133\u2013147."},{"key":"4_CR26","unstructured":"INMOS Ltd.: occam programming manual. Prentice Hall (1984)."},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0169-7552(98)00018-X","volume":"30","author":"T. Kistler","year":"1998","unstructured":"Kistler, T., Marais, J.: WebL-A Programming Language for the Web. In Computer Networks and ISDN Systems, 30. Elsevier (1998) 259\u2013270.","journal-title":"Computer Networks and ISDN Systems"},{"key":"4_CR28","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. Lecture Notes in Computer Science 92. Springer Verlag (1980)."},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Milner, R.: Functions as Processes. Mathematical Structures in Computer Science 2 (1992) 119\u2013141.","DOI":"10.1017\/S0960129500001407"},{"issue":"1","key":"4_CR30","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., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Parts 1\u20132. Information and Computation, 100(1) (1992) 1\u201377.","journal-title":"Information and Computation"},{"key":"4_CR31","unstructured":"Morris, J.H.: Lambda-Calculus Models of Programming Languages. Ph.D. Thesis, MIT (Dec 1968)."},{"key":"4_CR32","unstructured":"Palamidessi, C: Comparing the Expressive Power of the Synchronous and the Asynchronous Pi-calculus. Proc. 24th ACM Symposium on Principles of Programming Languages (1997)256\u2013265."},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Sander, A., Tschudin, C.F.: Towards Mobile Cryptography. ICSI technical report 97-049, November 1997. Proc. IEEE Symposium on Security and Privacy (1998).","DOI":"10.1109\/SECPRI.1998.674837"},{"key":"4_CR34","series-title":"Lect Notes Comput Sci","volume-title":"Proc. TAPSOFT\u2019 93","author":"D. Sangiorgi","year":"1992","unstructured":"Sangiorgi, D.: From \u03c0-calculus to Higher-Order \u03c0-calculus-and Back. Proc. TAPSOFT\u2019 93., Lecture Notes in Computer Science 668, Springer Verlag (1992)."},{"issue":"4","key":"4_CR35","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1145\/88616.88631","volume":"12","author":"J.W. Stamos","year":"1990","unstructured":"Stamos, J.W., Gifford, D.K.: Remote Evaluation. ACM Transactions on Programming Languages and Systems 12(4) (1990) 537\u2013565.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR36","unstructured":"Stein, L.A., Lieberman, H., Ungar, D.: A Shared View of Sharing: The treaty of Orlando. In: Kim, W., Lochowsky, F. (eds.): Object-Oriented Concepts, Applications, and Databases. Addison-Wesley (1988) 31\u201348."},{"key":"4_CR37","unstructured":"White, J.E.: Mobile Agents. In: Bradshaw, J. (ed.): Software Agents. AAAI Press \/ The MIT Press (1996)."}],"container-title":["Lecture Notes in Computer Science","Secure Internet Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48749-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,25]],"date-time":"2021-08-25T23:24:07Z","timestamp":1629933847000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48749-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661306","9783540487494"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-48749-2_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}