{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T20:38:07Z","timestamp":1648586287337},"reference-count":22,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2002,4,1]],"date-time":"2002-04-01T00:00:00Z","timestamp":1017619200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Languages, Systems & Structures"],"published-print":{"date-parts":[[2002,4]]},"DOI":"10.1016\/s0096-0551(02)00007-3","type":"journal-article","created":{"date-parts":[[2003,2,4]],"date-time":"2003-02-04T20:48:55Z","timestamp":1044391735000},"page":"29-60","source":"Crossref","is-referenced-by-count":2,"title":["Orderly communication in the Ambient Calculus"],"prefix":"10.1016","volume":"28","author":[{"given":"Torben","family":"Amtoft","sequence":"first","affiliation":[]},{"given":"Assaf J.","family":"Kfoury","sequence":"additional","affiliation":[]},{"given":"Santiago M.","family":"Pericas-Geertsen","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0096-0551(02)00007-3_BIB1","doi-asserted-by":"crossref","unstructured":"Cardelli L, Gordon AD. Mobile ambients. In: Nivat M, (eds). FoSSaCS \u201998, Lecture Notes in Computer Science, vol. 1378, Berlin: Springer, 1998. p. 140\u201355.","DOI":"10.1007\/BFb0053547"},{"key":"10.1016\/S0096-0551(02)00007-3_BIB2","doi-asserted-by":"crossref","unstructured":"Cardelli L, Gordon AD. Types for mobile ambients. In: Montanari U, Sassone V, (eds). POPL \u201999, San Antonio, TX, New York: ACM Press, January 1999. p. 79\u201392.","DOI":"10.1145\/292540.292550"},{"key":"10.1016\/S0096-0551(02)00007-3_BIB3","doi-asserted-by":"crossref","unstructured":"Fournet C, Gonthier G, Levy J-J, Maranget L, Remy D. A calculus of mobile agents. In: CONCUR 1996, Lecture Notes in Computer Science, vol. 1119. Berlin: Springer, 1996. p. 406\u201321.","DOI":"10.1007\/3-540-61604-7_67"},{"key":"10.1016\/S0096-0551(02)00007-3_BIB4","unstructured":"Riely J, Hennessy M. A typed language for distributed mobile processes. In: POPL 1998. Berlin: ACM Press, 1998. p. 378\u201390."},{"key":"10.1016\/S0096-0551(02)00007-3_BIB5","doi-asserted-by":"crossref","unstructured":"Riely J, Hennessy M. Trust and partial typing in open systems of mobile agents. In: POPL\u201999, San Antonio, TX, New York: ACM Press, 1999. p. 93\u2013104.","DOI":"10.1145\/292540.292551"},{"key":"10.1016\/S0096-0551(02)00007-3_BIB6","doi-asserted-by":"crossref","unstructured":"Sewell P, Vitek J. Secure composition of insecure components. In: 12th IEEE Computer Security Foundations Workshop (CSFW-12), Mordano, Italy, June 1999.","DOI":"10.1109\/CSFW.1999.779769"},{"key":"10.1016\/S0096-0551(02)00007-3_BIB7","doi-asserted-by":"crossref","unstructured":"Vitek J, Castagna G. Seal: a framework for secure mobile computations. In: Bal HE, Belkhouche B, Cardelli L, (eds). Internet Programming Languages, Lecture Notes in Computer Science, vol. 1686. Berlin: Springer, 1999.","DOI":"10.1007\/3-540-47959-7_3"},{"key":"10.1016\/S0096-0551(02)00007-3_BIB8","unstructured":"Cardelli L, Giorgio Ghelli, Gordon AD. Mobility types for mobile ambients. In: Wiedermann J, van Emde Boas P, Nielsen M, editors. ICALP\u201999, Lecture Notes in Computer Science, vol. 1644. Berlin: Springer, July 1999. p. 230\u20139. Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999."},{"key":"10.1016\/S0096-0551(02)00007-3_BIB9","unstructured":"Cardelli L, Giorgio Ghelli, Gordon AD. Ambient groups and mobility types. In: Leeuwen J van, Watanabe O, Hagiya M, Mosses PD, Ito T, (eds). IFIP International Conference on Theoretical Computer Science (IFIP TCS2000), Tohoku University, Sendai, Japan, Lecture Notes in Computer Science, vol. 1872. Berlin: Springer, August 2000. p. 333\u201347."},{"key":"10.1016\/S0096-0551(02)00007-3_BIB10","doi-asserted-by":"crossref","unstructured":"Torben Amtoft. Causal type system for ambient movements. Submitted for publication, 2002.","DOI":"10.1016\/S0096-0551(02)00007-3"},{"key":"10.1016\/S0096-0551(02)00007-3_BIB11","doi-asserted-by":"crossref","unstructured":"Simon Gay and Malcolm Hole. Types and subtypes for client-server interactions. In: Swierstra SD, (eds). Proceedings of the European Symposium on Programming, Lecture Notes in Computer Science, vol. 1576. Berlin: Springer, 1999. p. 74\u201390.","DOI":"10.1007\/3-540-49099-X_6"},{"key":"10.1016\/S0096-0551(02)00007-3_BIB12","doi-asserted-by":"crossref","unstructured":"Torben Amtoft, Kfoury AJ, Pericas-Geertsen SM. What are polymorphically-typed ambients? Technical Report BUCS-TR-2000-021, Computer Science Department, Boston University, December 2000.","DOI":"10.1007\/3-540-45309-1_14"},{"key":"10.1016\/S0096-0551(02)00007-3_BIB13","doi-asserted-by":"crossref","unstructured":"Francesca Levi and Davide Sangiorgi. Controlling interference in ambients. In: POPL\u201900, Boston, MA, New York: ACM Press, January 2000. p. 352\u201364.","DOI":"10.1145\/325694.325741"},{"key":"10.1016\/S0096-0551(02)00007-3_BIB14","doi-asserted-by":"crossref","unstructured":"Michele Bugliesi and Giuseppe Castagna. Secure safe ambients. In: Conference Records POPL \u201901: 28th ACM Symposium on the Principles of Programming Languages, 2001. p. 222\u201335.","DOI":"10.1145\/360204.360223"},{"key":"10.1016\/S0096-0551(02)00007-3_BIB15","doi-asserted-by":"crossref","unstructured":"Dezani-Ciancaglini M, Salvo I. Security types for mobile safe ambients. In: He J, Sato M, (eds). ASIAN Computing Science Conference\u2014ASIAN \u201900, Lecture Notes in Computer Science, vol. 1961. Berlin: Springer, 2000. p. 215\u201336.","DOI":"10.1007\/3-540-44464-5_16"},{"key":"10.1016\/S0096-0551(02)00007-3_BIB16","doi-asserted-by":"crossref","unstructured":"Torben Amtoft, Kfoury AJ, Pericas-Geertsen SM. What are polymorphically-typed ambients? In: Sands D, editor. ESOP 2001, Genova, Lecture Notes in Computer Science, vol. 2028. Berlin: Springer, April 2001. p. 206\u201320. (An extended version appears as [12]).","DOI":"10.1007\/3-540-45309-1_14"},{"issue":"5","key":"10.1016\/S0096-0551(02)00007-3_BIB17","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/S0020-0190(01)00172-7","article-title":"Typing evolving ambients","volume":"80","author":"Guan","year":"2001","journal-title":"Information Processing Letters"},{"key":"10.1016\/S0096-0551(02)00007-3_BIB18","series-title":"Secure Internet Programming: Security Issues for Mobile and Distributed Objects","first-page":"51","article-title":"Abstractions for mobile computation","volume":"vol. 1603","author":"Cardelli","year":"1999"},{"key":"10.1016\/S0096-0551(02)00007-3_BIB19","doi-asserted-by":"crossref","unstructured":"Pascal Zimmer. Subtyping and typing algorithms for mobile ambients. In: Tiuryn J, (eds). FOSSACS 2000, Berlin, Lecture Notes in Computer Science, vol. 1784. Berlin: Springer, 2000. p. 375\u201390.","DOI":"10.1007\/3-540-46432-8_25"},{"key":"10.1016\/S0096-0551(02)00007-3_BIB20","unstructured":"Michele Bugliesi Pericas-Geertsen SM. Depth subtyping and type inference for object calculi. In: Proceedings of the Seventh Workshop on Foundations of Object-Oriented Languages, Boston, MA, USA, 2000."},{"key":"10.1016\/S0096-0551(02)00007-3_BIB21","doi-asserted-by":"crossref","unstructured":"Kaku Takeuchi, Kohei Honda, and Makoto Kubo. An interaction-based language and its typing system. In: Halatsis C, Maritsas D, Philokypro G, Theodoridis S, editors. PARLE\u201994, Lecture Notes in Computer Science, vol. 817. Berlin: Springer, 1994. p. 398\u2013413.","DOI":"10.1007\/3-540-58184-7_118"},{"key":"10.1016\/S0096-0551(02)00007-3_BIB22","doi-asserted-by":"crossref","unstructured":"Kohei Honda, Vasco Vasconcelos, and Makoto Kubo. Language primitives and type discipline for structured communication-based programming. In: Hankin C, (eds). ESOP \u201998, vol. 1381. Berlin: Springer, 1998. p. 122\u201338.","DOI":"10.1007\/BFb0053567"}],"container-title":["Computer Languages, Systems & Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0096055102000073?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0096055102000073?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,11]],"date-time":"2020-03-11T13:04:12Z","timestamp":1583931852000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0096055102000073"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,4]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,4]]}},"alternative-id":["S0096055102000073"],"URL":"https:\/\/doi.org\/10.1016\/s0096-0551(02)00007-3","relation":{},"ISSN":["1477-8424"],"issn-type":[{"value":"1477-8424","type":"print"}],"subject":[],"published":{"date-parts":[[2002,4]]}}}