{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T05:40:51Z","timestamp":1737006051308,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678236"},{"type":"electronic","value":"9783540449294"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44929-9_26","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T13:20:53Z","timestamp":1178371253000},"page":"348-364","source":"Crossref","is-referenced-by-count":28,"title":["An Asynchronous, Distributed Implementation of Mobile Ambients"],"prefix":"10.1007","author":[{"given":"C\u00e9dric","family":"Fournet","sequence":"first","affiliation":[]},{"given":"Jean-Jacques","family":"L\u00e9vy","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Schmitt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"26_CR1","unstructured":"L. Cardelli. Ambit, 1997. Available from http:\/\/www.luca.demon.co.uk\/Ambit\/ Ambit.html ."},{"key":"26_CR2","unstructured":"L. Cardelli. Mobile ambient synchronization. Technical note 1997-013, Digital Systems Research Center, July 1997."},{"key":"26_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/3-540-48523-6_20","volume-title":"ICALP\u201999","author":"L. Cardelli","year":"1999","unstructured":"L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In ICALP\u201999, volume 1644 of LNCS, pages 230\u2013239, 1999."},{"key":"26_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"FoSSaCS\u201998","author":"L. Cardelli","year":"1998","unstructured":"L. Cardelli and A. Gordon. Mobile ambients. In FoSSaCS\u201998, volume 1378 of LNCS, pages 140\u2013155, 1998."},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"L. Cardelli and A. D. Gordon. Types for mobile ambients. In POPL\u201999, pages 79\u201392. ACM, Jan. 1999.","DOI":"10.1145\/292540.292550"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"S. Conchon and F. Le Fessant. Jocaml: Mobile agents for objective-caml. In ASA\/MA\u201999, pages 22\u201329. IEEE Computer Society, Oct. 1999.","DOI":"10.1109\/ASAMA.1999.805390"},{"key":"26_CR7","unstructured":"C. Fournet. The Join-Calculus: a Calculus for Distributed Mobile Programming. PhD thesis, Ecole Polytechnique, Palaiseau, Nov. 1998. INRIA, TU-0556."},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"C. Fournet and G. Gonthier. The re exive chemical abstract machine and the join-calculus. In POPL\u201996, pages 372\u2013385. ACM, Jan. 1996.","DOI":"10.1145\/237721.237805"},{"key":"26_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"CONCUR\u201996","author":"C. Fournet","year":"1996","unstructured":"C. Fournet, G. Gonthier, J.-J. L\u00e9vy, L. Maranget, and D. R\u00e9my. A calculus of mobile agents. In CONCUR\u201996, volume 1119 of LNCS, pages 406\u2013421, Aug. 1996."},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"C. Fournet, J.-J. L\u00e9vy, and A. Schmitt. A distributed implementation of Ambients. Long version of this paper, available from http:\/\/join.inria.fr\/ambients.html , 1999.","DOI":"10.1007\/3-540-44929-9_26"},{"key":"26_CR11","unstructured":"C. Fournet and A. Schmitt. An implementation of Ambients in JoCAML. Software available from http:\/\/join.inria.fr\/ambients.html , 1999."},{"key":"26_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/3-540-49019-1_15","volume-title":"FoSSaCS\u201999","author":"A. D. Gordon","year":"1999","unstructured":"A. D. Gordon and L. Cardelli. Equational properties of mobile ambients. In FoSSaCS\u201999, volume 1578 of LNCS, pages 212\u2013226, 1999."},{"key":"26_CR13","unstructured":"F. Le Fessant. The JoCAML system prototype. Software and documentation available from http:\/\/pauillac.inria.fr\/jocaml , 1998."},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"F. Levi and D. Sangiorgi. Controlling interference in ambients. In POPL\u201900, pages 352\u2013364. ACM, Jan. 2000.","DOI":"10.1145\/325694.325741"},{"key":"26_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-61604-7_55","volume-title":"CONCUR\u201996","author":"U. Nestmann","year":"1996","unstructured":"U. Nestmann and B. C. Pierce. Decoding choice encodings. In CONCUR\u201996, volume 1119 of LNCS, pages 179\u2013194, Aug. 1996. Revised full version as report ERCIM-10\/97-R051, 1997."},{"key":"26_CR16","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/0304-3975(92)00023-K","volume":"126","author":"V. Oostrom","year":"1994","unstructured":"V. Oostrom. Con uence by decreasing diagrams. Theoretical Computer Science, 126:259\u2013280, 1994.","journal-title":"Theoretical Computer Science"},{"key":"26_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1007\/BFb0084813","volume-title":"CONCUR\u201992","author":"J. Parrow","year":"1992","unstructured":"J. Parrow and P. Sj\u00f6din. Multiway synchronization verified with coupled simulation. In CONCUR\u201992, volume 630 of LNCS, pages 518\u2013533, 1992."}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44929-9_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T02:15:34Z","timestamp":1736993734000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44929-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678236","9783540449294"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-44929-9_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}