{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T06:53:20Z","timestamp":1773557600262,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540643005","type":"print"},{"value":"9783540697206","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053547","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T01:19:46Z","timestamp":1149643186000},"page":"140-155","source":"Crossref","is-referenced-by-count":438,"title":["Mobile ambients"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[]},{"given":"Andrew D.","family":"Gordon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M. and A.D. Gordon, A calculus for cryptographic protocols: the spi calculus. Proc. Fourth ACM Conference on Computer and Communications Security, 36\u201347, 1997.","DOI":"10.1145\/266420.266432"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Amadio, R.M., An asynchronous model of locality, failure, and process mobility. Proc. COORDINATION 97, Berlin, 1997.","DOI":"10.1007\/3-540-63383-9_92"},{"issue":"1","key":"10_CR3","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. and G. Boudol, The chemical abstract machine. Theoretical Computer Science 96(1), 217\u2013248, 1992.","journal-title":"Theoretical Computer Science"},{"key":"10_CR4","unstructured":"Boudol, G., Asynchrony and the \u03c0-calculus. TR 1702, INRIA, Sophia-Antipolis, 1992."},{"key":"10_CR5","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"},{"issue":"4","key":"10_CR6","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N. and D. Gelernter, Linda in context. CACM, 32(4), 444\u2013458, 1989.","journal-title":"CACM"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Carriero, N., D. Gelernter, and L. Zuck, Bauhaus Linda, in LNCS 924, 66\u201376, Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59450-7_5"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"De Nicola, R., G.-L. Ferrari and R. Pugliese, Locality based Linda: programming with explicit localities. Proc. TAPSOFT'97. 1997.","DOI":"10.1007\/BFb0030636"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Fournet, C. and G. Gonthier, The reflexive CHAM and the join-calculus. Proc. 23rd Annual ACM Symposium on Principles of Programming Languages, 372\u2013385. 1996.","DOI":"10.1145\/237721.237805"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Fournet, C., G. Gonthier, J.-J. L\u00e9vy, L. Maranget, D. R\u00e9my, A calculus of mobile agents. Proc. CONCUR'96, 406\u2013421. 1996.","DOI":"10.1007\/3-540-61604-7_67"},{"key":"10_CR11","unstructured":"Gosling, J., B. Joy and G. Steele, The Java language specification. Addison-Wesley. 1996."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Honda., K. and M. Tokoro, An object calculus for asynchronous communication. Proc. ECOOP'91, LNCS 521, 133\u2013147, Springer Verlag, 1991.","DOI":"10.1007\/BFb0057019"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Milner, R., A calculus of communicating systems. LNCS 92. Springer-Verlag. 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"Milner, R., Functions as processes. Mathematical Structures in Computer Science 2, 119\u2013141. 1992.","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"10_CR15","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\u20132. Information and Computation, 100(1), 1\u201377. 1992","journal-title":"Information and Computation"},{"key":"10_CR16","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","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053547","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T02:31:50Z","timestamp":1555641110000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053547"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643005","9783540697206"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0053547","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}