{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T02:10:07Z","timestamp":1734228607082,"version":"3.30.2"},"reference-count":18,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5688,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1998]]},"DOI":"10.1016\/s1571-0661(04)00142-2","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T10:14:39Z","timestamp":1075371279000},"page":"189-204","source":"Crossref","is-referenced-by-count":8,"title":["Distribution and Mobility with Lexical Scoping in Process Calculi"],"prefix":"10.1016","volume":"16","author":[{"given":"Vasco T.","family":"Vasconcelos","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Lopes","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Silva","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00142-2_NEWBIB1","doi-asserted-by":"crossref","unstructured":"Roberto M. Amadio. An asynchronous model of locality, failure, and process mobility. In COORDINATION'97, volume 1282 of LNCS, pages 374\u2013391. Springer-Verlag, 1997. Full version as Rapport Interne, LIM Marseille, and Rapport de Recherche RR-3109, INRIA Sophia-Antipolis, 1997.","DOI":"10.1007\/3-540-63383-9_92"},{"issue":"1","key":"10.1016\/S1571-0661(04)00142-2_NEWBIB2","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/40.342015","article-title":"Myrinet: A gigabit per second local area network","volume":"15","author":"Nanette Boden","year":"1995","journal-title":"IEEE-Micro"},{"key":"10.1016\/S1571-0661(04)00142-2_NEWBIB3","doi-asserted-by":"crossref","unstructured":"G\u00e9rard Boudol. The pi-calculus in direct style. In 24th ACM Symposium on Principles of Programming Languages, pages 228\u2013241. ACM Press, 1997.","DOI":"10.1145\/263699.263726"},{"issue":"1","key":"10.1016\/S1571-0661(04)00142-2_NEWBIB4","first-page":"27","article-title":"A language with distributed scope","volume":"8","author":"Cardelli","year":"1995","journal-title":"Computing Systems"},{"key":"10.1016\/S1571-0661(04)00142-2_NEWBIB5","doi-asserted-by":"crossref","unstructured":"Luca Cardelli and Andrew D. Gordon. Mobile ambients. In FoSSaCS'98, volume 1378 of LNCS, pages 140\u2013155, 1998.","DOI":"10.1007\/BFb0053547"},{"key":"10.1016\/S1571-0661(04)00142-2_NEWBIB6","doi-asserted-by":"crossref","unstructured":"C\u00e9dric Fournet and Georges Gonthier. The reflexive chemical abstract machine and the join-calculus. In 23rd ACM Symposium on Principles of Programming Languages, pages 372\u2013385. ACM Press, 1996.","DOI":"10.1145\/237721.237805"},{"key":"10.1016\/S1571-0661(04)00142-2_NEWBIB7","doi-asserted-by":"crossref","unstructured":"C\u00e9dric Fournet, Georges Gonthier, Jean-Jacques L\u00e9vy, Luc Maranget, and Didier R\u00e9my. A calculus of mobile agents. In Ugo Montanari and Vladimiro Sassone, editors, Proceedings of CONCUR '96, volume 1119 of LNCS, pages 406\u2013421. Springer, 1996.","DOI":"10.1007\/3-540-61604-7_67"},{"key":"10.1016\/S1571-0661(04)00142-2_NEWBIB8","doi-asserted-by":"crossref","unstructured":"Matthew Hennessy and James Riely. Resource access control in systems of mobile agents. Technical Report 2, Computer Science, University of Sussex, February 1998.","DOI":"10.1016\/S1571-0661(04)00141-0"},{"key":"10.1016\/S1571-0661(04)00142-2_NEWBIB9","doi-asserted-by":"crossref","unstructured":"Kohei Honda and Mario Tokoro. An object calculus for asynchronous communication. In 5th European Conference on Object-Oriented Programming, volume 512 of LNCS, pages 141\u2013162. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0057019"},{"key":"10.1016\/S1571-0661(04)00142-2_NEWBIB10","doi-asserted-by":"crossref","unstructured":"Kohei Honda, Vasco T. Vasconcelos, and Makoto Kubo. Language primitives and type disciplines for structured communication-based programming. In ESOP'98, volume 1381 of LNCS, pages 122\u2013138. Springer-Verlag, 1998.","DOI":"10.1007\/BFb0053567"},{"key":"10.1016\/S1571-0661(04)00142-2_NEWBIB11","doi-asserted-by":"crossref","unstructured":"Lu\u00eds Lopes, Fernando Silva, and Vasco T. Vasconcelos. Compiling process calculi. DCC 98\u20133, DCC-FC & LIACC, Universidade do Porto, March 1998.","DOI":"10.1016\/S1571-0661(04)00142-2"},{"key":"10.1016\/S1571-0661(04)00142-2_NEWBIB12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","article-title":"A calculus of mobile processes, I and II","volume":"100","author":"Milner","year":"1992","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)00142-2_NEWBIB13","unstructured":"Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. CSCI Technical Report 476, Indiana University, March 1997."},{"key":"10.1016\/S1571-0661(04)00142-2_NEWBIB14","doi-asserted-by":"crossref","unstructured":"James Riely and Matthew Hennessy. Distributed processes and location failures. In Pierpaolo Degano, Roberto Gorrieri, and Alberto Marchetti-Spaccamela, editors, Proceedings of ICALP '97, volume 1256 of LNCS, pages 471\u2013481. Springer, 1997. Full version as Report 2\/97, University of Sussex, Brighton.","DOI":"10.1007\/3-540-63165-8_203"},{"key":"10.1016\/S1571-0661(04)00142-2_NEWBIB15","doi-asserted-by":"crossref","unstructured":"James Riely and Matthew Hennessy. Trust and partial typing in open systems of mobile agents. Technical Report 4, Computer Science, University of Sussex, July 1998.","DOI":"10.1145\/292540.292551"},{"key":"10.1016\/S1571-0661(04)00142-2_NEWBIB16","unstructured":"P. Sewell, P. Wojciechowski, and B. Pierce. Location independence for mobile agents. In Workshop on Internet Programming Languages, 1998."},{"key":"10.1016\/S1571-0661(04)00142-2_NEWBIB17","unstructured":"Vasco T. Vasconcelos and Rui Bastos. Core-TyCO, the language definition, version 0.1. DI\/FCUL TR 98\u20133, Department of Computer Science, University of Lisbon, March 1998."},{"key":"10.1016\/S1571-0661(04)00142-2_NEWBIB18","doi-asserted-by":"crossref","unstructured":"Vasco T. Vasconcelos and Mario Tokoro. A typing system for a calculus of objects. In Ist ISOTAS, volume 742 of LNCS, pages 460\u2013474. Springer-Verlag, November 1993.","DOI":"10.1007\/3-540-57342-9_89"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001422?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001422?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T01:41:35Z","timestamp":1734226895000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104001422"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998]]}},"alternative-id":["S1571066104001422"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00142-2","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[1998]]}}}