{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:10:46Z","timestamp":1761610246690,"version":"build-2065373602"},"reference-count":20,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3984,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1016\/s1571-0661(04)80420-1","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"145-169","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":9,"title":["An Abstract Machine for a Higher-Order Distributed Process Calculus"],"prefix":"10.1016","volume":"66","author":[{"given":"Florence","family":"Germain","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Lacoste","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Bernard","family":"Stefani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80420-1_NEWBIB1","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","article-title":"The Chemical Abstract Machine","volume":"96","author":"Berry","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80420-1_NEWBIB2","doi-asserted-by":"crossref","unstructured":"Bugliesi M., G. Castagna, and S. Crafa, \u201cBoxed Ambients\u201d, In Proceedings 4th International Symposium on Theoretical Aspects of Computer Software (TACS'01), Lecture Notes in Computer Science 2215 (2001), 38\u201363, Springer-Verlag.","DOI":"10.1007\/3-540-45500-0_2"},{"key":"10.1016\/S1571-0661(04)80420-1_NEWBIB3","doi-asserted-by":"crossref","unstructured":"Cardelli L., \u201cWide Area Computation\u201d, In Proceedings 26th International Colloquium on Automata, Languages and Programming (ICALP'99), Lecture Notes in Computer Science 1644 (1999), 10\u201324, Springer-Verlag.","DOI":"10.1007\/3-540-48523-6_2"},{"key":"10.1016\/S1571-0661(04)80420-1_NEWBIB4","doi-asserted-by":"crossref","unstructured":"Cardelli L., and A. Gordon, \u201cMobile Ambients\u201d, In Proceedings Foundations of Software Science and Computation Structures (FoSSaCS'98), Lecture Notes in Computer Science 1378 (1998), 140\u2013155, Springer-Verlag.","DOI":"10.1007\/BFb0053547"},{"key":"10.1016\/S1571-0661(04)80420-1_NEWBIB5","unstructured":"Le Fessant F., and L. Maranget, \u201cCompiling Join-Patterns\u201d, In Proceedings 3rd International Workshop on High-Level Concurrent Languages (HLCL'98), Electronic Notes in Theoretical Computer Science 16 (3) (2000), Elsevier."},{"key":"10.1016\/S1571-0661(04)80420-1_NEWBIB6","unstructured":"Fournet C., \u201cThe Join-Calculus: a Calculus for Distributed Mobile Programming\u201d, Ph.D. thesis, Ecole Polytechnique, 1998."},{"key":"10.1016\/S1571-0661(04)80420-1_NEWBIB7","unstructured":"Leroy X., The ZINC Experiment: an Economical Implementation of the ML Language, INRIA Technical Report, RR-117, 1990."},{"key":"10.1016\/S1571-0661(04)80420-1_NEWBIB8","doi-asserted-by":"crossref","unstructured":"Levi F., and D. Sangiorgi, \u201cControlling Interference in Ambients\u201d, In Proceedings 27th Annual ACM Symposium on Principles of Programming Languages (POPL'00) (2000), 352\u2013364, ACM Press.","DOI":"10.1145\/325694.325741"},{"key":"10.1016\/S1571-0661(04)80420-1_NEWBIB9","doi-asserted-by":"crossref","unstructured":"Levy J.-J., \u201cSome Results in the Join-Calculus\u201d, In Proceedings 3rd International Symposium on Theoretical Aspects of Computer Software (TACS'97), Lecture Notes in Computer Science 1281 (1997), Springer-Verlag.","DOI":"10.1007\/BFb0014554"},{"key":"10.1016\/S1571-0661(04)80420-1_NEWBIB10","unstructured":"Lopes L., \u201cOn the Design and Implementation of a Virtual Machine for Process Calculi\u201d, Ph.D. thesis, University of Porto, 1999."},{"key":"10.1016\/S1571-0661(04)80420-1_NEWBIB11","unstructured":"Lopes L., F. Silva, A. Figueira, and V. Vasconcelos, \u201cDiTyCO: an Experiment in Code Mobility from the Realm of Process Calculi\u201d, In Proceedings 5th ECOOP Workshop on Mobile Object Systems (MOS'99), 1999."},{"key":"10.1016\/S1571-0661(04)80420-1_NEWBIB12","doi-asserted-by":"crossref","unstructured":"Lopes L., F. Silva, and V. Vasconcelos, \u201cA Virtual Machine for a Process Calculus\u201d, In Proceedings International Conference on Principles and Practice of Declarative Programming (PPDP'99), Lecture Notes in Computer Science 1702 (1999), Springer-Verlag.","DOI":"10.1007\/10704567_15"},{"issue":"5","key":"10.1016\/S1571-0661(04)80420-1_NEWBIB13","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1109\/32.685256","article-title":"Klaim: a Kernel Language for Agents Interaction and Mobility","volume":"24","author":"Nicola","year":"1998","journal-title":"IEEE Transactions on Software Engineering"},{"year":"2002","series-title":"\u201cJAM: the JoCaml Abstract Machine\u201d","author":"Peskine","key":"10.1016\/S1571-0661(04)80420-1_NEWBIB14"},{"key":"10.1016\/S1571-0661(04)80420-1_NEWBIB15","doi-asserted-by":"crossref","unstructured":"Sangiorgi D., and A. Valente, \u201cA Distributed Abstract Machine for Safe Ambients\u201d, In Proceedings 28th International Colloquium on Automata, Languages and Programming (ICALP'01), Lecture Notes in Computer Science 2076 (2001), 408\u2013420, Springer-Verlag.","DOI":"10.1007\/3-540-48224-5_34"},{"key":"10.1016\/S1571-0661(04)80420-1_NEWBIB16","unstructured":"Schmitt A., and J.-B. Stefani, The M-calculus: a Higher-Order Distributed Process Calculus, INRIA Technical Report, RR-4361, 2002."},{"key":"10.1016\/S1571-0661(04)80420-1_NEWBIB17","doi-asserted-by":"crossref","unstructured":"Vitek J., and G. Castagna, \u201cSeal: a Framework for Secure Mobile Computations\u201d, In Proceedings Workshop on Internet Programming Languages, Lecture Notes in Computer Science 1686 (1999), Springer-Verlag.","DOI":"10.1007\/3-540-47959-7_3"},{"key":"10.1016\/S1571-0661(04)80420-1_NEWBIB18","doi-asserted-by":"crossref","unstructured":"Wojciechowski P., \u201cNomadic Pict: Language and Infrastructure Design for Mobile Computation\u201d, Ph.D. thesis, University of Cambridge, 2000.","DOI":"10.1109\/4434.846193"},{"issue":"2","key":"10.1016\/S1571-0661(04)80420-1_NEWBIB19","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/4434.846193","article-title":"Nomadic Pict: Language and Infrastructure","volume":"8","author":"Wojciechowski","year":"2000","journal-title":"IEEE Concurrency"},{"key":"10.1016\/S1571-0661(04)80420-1_NEWBIB20","doi-asserted-by":"crossref","unstructured":"Yoshida N., and M. Hennessy, \u201cSubtyping and Locality in Distributed Higher-Order Processes\u201d, In Proceedings 10th International Conference on Concurrency Theory (CONCUR'99), Lecture Notes in Computer Science 1664 (1999), 557\u2013572, Springer-Verlag.","DOI":"10.1007\/3-540-48320-9_38"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104804201?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104804201?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:05:34Z","timestamp":1761609934000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104804201"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,9]]}},"alternative-id":["S1571066104804201"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80420-1","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2002,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"An Abstract Machine for a Higher-Order Distributed Process Calculus","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)80420-1","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}