{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:28:36Z","timestamp":1778297316451,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540422877","type":"print"},{"value":"9783540482246","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-48224-5_34","type":"book-chapter","created":{"date-parts":[[2007,10,28]],"date-time":"2007-10-28T02:29:04Z","timestamp":1193538544000},"page":"408-420","source":"Crossref","is-referenced-by-count":24,"title":["A Distributed Abstract Machine for Safe Ambients"],"prefix":"10.1007","author":[{"given":"Davide","family":"Sangiorgi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Valente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"M. Bugliesi, G. Castagna. Secure safe ambients. 28th POPL. 2001.","DOI":"10.1145\/360204.360223"},{"key":"34_CR2","unstructured":"L. Cardelli. Ambit. http:\/\/www.luca.demon.co.uk\/Ambit\/Ambit.html 1997."},{"key":"34_CR3","unstructured":"L. Cardelli. Mobile ambient synchronisation. Technical Report 1997-013, Digital SRC, 1997."},{"key":"34_CR4","series-title":"Lect Notes Comput Sci","volume-title":"FoSSaCS\u2019 98","author":"L. Cardelli","year":"1998","unstructured":"L. Cardelli, A.D. Gordon. Mobile ambients. FoSSaCS\u2019 98, LNCS 1378, 1998."},{"key":"34_CR5","series-title":"Lect Notes Comput Sci","volume-title":"FoSSaCS\u201999","author":"L. Cardelli","year":"1999","unstructured":"L. Cardelli, A.D. Gordon. Equational properties of mobile ambients. FoSSaCS\u201999, LNCS 1578, 1999."},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"L. Cardelli, A.D. Gordon. Types for mobile ambients. 26th POPL, 1999.","DOI":"10.1145\/292540.292550"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"L. Cardelli, A.D. Gordon. Anytime, anywhere: Modal logics for mobile ambients. 27th POPL, 2000.","DOI":"10.1145\/325694.325742"},{"key":"34_CR8","series-title":"Lect Notes Comput Sci","volume-title":"CONCUR\u2019 96","author":"C. Fournet","year":"1996","unstructured":"C. Fournet, G. Gonthier, J.-J. L\u00e9vy, L. Maranget, D. R\u00e9my. A calculus of mobile processes. CONCUR\u2019 96, LNCS 1119, 1996."},{"key":"34_CR9","series-title":"Lect Notes Comput Sci","volume-title":"IFIP TCS2000","author":"C. Fournet","year":"2000","unstructured":"C. Fournet, J.-J. L\u00e9vy, A. Schmitt. An asynchronous distributed implementation fo mobile ambients. IFIP TCS2000, LNCS 1872, 2000."},{"key":"34_CR10","unstructured":"F. Le Fessant. The Jocaml system prototype. http:\/\/www.join.inria.fr\/jocaml . 1998."},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"F. Levi, D. Sangiorgi. Controlling interference in ambients. 27th POPL, 2000.","DOI":"10.1145\/325694.325741"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"F. Nielson, H.R. Nielson Shape analysis for mobile ambients. 27th POPL, 2000.","DOI":"10.1145\/325694.325711"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48224-5_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:28:06Z","timestamp":1556922486000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48224-5_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422877","9783540482246"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-48224-5_34","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}