{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:27:21Z","timestamp":1725460041155},"publisher-location":"Boston","reference-count":12,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402081405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-8141-3_44","type":"book-chapter","created":{"date-parts":[[2006,2,21]],"date-time":"2006-02-21T15:15:11Z","timestamp":1140534911000},"page":"577-590","source":"Crossref","is-referenced-by-count":2,"title":["Dynamic and Local Typing for Mobile Ambients"],"prefix":"10.1007","author":[{"given":"Mario","family":"Coppo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mariangiola","family":"Dezani-Ciancaglini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elio","family":"Giovannetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"44_CR1","first-page":"61","volume":"28","author":"M. Bugliesi","year":"2002","unstructured":"Bugliesi, Michele and Castagna, Giuseppe (2002). Behavioral typing for Safe Ambients. Computer Languages, 28(1):61\u201399.","journal-title":"Computer Languages"},{"issue":"1","key":"44_CR2","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/963778.963781","volume":"26","author":"M. Bugliesi","year":"2004","unstructured":"Bugliesi, Michele, Castagna, Giuseppe, and Crafa, Silvia (2004). Access control for mobile agents: The calculus of boxed ambients. ACM Transactions on Programming Languages and Systems, 26(1):57\u2013124.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"44_CR3","first-page":"71","volume":"2556","author":"M. Bugliesi","year":"2003","unstructured":"Bugliesi, Michele, Crafa, Silvia, Merro, Massimo, and Sassone, Vladimiro (2003). Communication and Mobility Control in Boxed Ambients. To appear in Information and Computation. Extended and revised version of M. Bugliesi, S. Crafa, M. Merro, and V. Sassone. Communication Interference in Mobile Boxed Ambients. In FSTTCS\u2019 02, volume 2556 of LNCS, pages 71\u201384. Springer-Verlag, 2002.","journal-title":"LNCS"},{"key":"44_CR4","doi-asserted-by":"crossref","unstructured":"Cardelli, Luca (1999). Abstractions for mobile computation. In Vitek, Jan and Jensen, Christian, editors, Secure Internet Programming: Security Issues for Mobile and Distributed Objects, volume 1603 of LNCS, pages 51\u201394. Springer-Verlag.","DOI":"10.1007\/3-540-48749-2_4"},{"key":"44_CR5","doi-asserted-by":"crossref","unstructured":"Cardelli, Luca, Ghelli, Giorgio, and Gordon, Andrew D. (1999). Mobility types for mobile ambients. In Wiedermann, Jiri, van Emde Boas, Peter, and Nielsen, Mogens, editors, ICALP\u2019 99, volume 1644 of LNCS, pages 230\u2013239. Springer-Verlag.","DOI":"10.1007\/3-540-48523-6_20"},{"key":"44_CR6","doi-asserted-by":"crossref","unstructured":"Cardelli, Luca, Ghelli, Giorgio, and Gordon, Andrew D. (2000). Ambient groups and mobility types. In van Leeuwen, Jan, Watanabe, Osamu, Hagiya, Masami, and Peter D. Mosses, Takayasu Ito, editors, International Conference IFIP TCS 2000, volume 1872 of LNCS, pages 333\u2013347. Springer-Verlag. Extended version to appear in Information and Computation, special issue on TCS\u20192000.","DOI":"10.1007\/3-540-44929-9_25"},{"key":"44_CR7","doi-asserted-by":"crossref","unstructured":"Cardelli, Luca and Gordon, Andrew D. (2000). Mobile ambients. Theoretical Computer Science, 240(1):177\u2013213. Special Issue on Coordination, Daniel Le M\u00e9tayer Editor.","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"44_CR8","unstructured":"Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Giovannetti, Elio, and Pugliese, Rosario (2004). Dynamic and local typing for mobile ambients. Research report, Dipartimento di Sistemi e Informatica, Universit\u00e0 di Firenze. Available at \n                    http:\/\/www.dsi.unifi.it\/~pugliese\/DOWNLOAD\/dltma-full.pdf\n                    \n                  ."},{"key":"44_CR9","unstructured":"Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Giovannetti, Elio, and Salvo, Ivano (2003). M3: Mobility types for mobile processes in mobile ambients. In Harland, James, editor, CATS 2003, volume 78 of ENTCS. Elsevier."},{"key":"44_CR10","doi-asserted-by":"crossref","unstructured":"Ferrari, Gianluigi, Moggi, Eugenio, and Pugliese, Rosario (2002). Guardians for ambient-based monitoring. In Sassone, Vladimiro, editor, F-WAN, volume 66 of ENTCS. Elsevier.","DOI":"10.1016\/S1571-0661(04)80416-X"},{"key":"44_CR11","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1006\/inco.2001.3089","volume":"173","author":"M. Hennessy","year":"2002","unstructured":"Hennessy, Mattew and Riely, James (2002). Resource Access Control in Systems of Mobile Agents. Information and Computation, 173:82\u2013120.","journal-title":"Information and Computation"},{"issue":"1","key":"44_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/596980.596981","volume":"25","author":"F. Levi","year":"2003","unstructured":"Levi, Francesca and Sangiorgi, Davide (2003). Controlling interference in Ambients. Transactions on Programming Languages and Systems, 25(1): 1\u201369.","journal-title":"Transactions on Programming Languages and Systems"}],"container-title":["IFIP International Federation for Information Processing","Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8141-3_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:28:22Z","timestamp":1619555302000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8141-3_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402081405"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8141-3_44","relation":{},"subject":[]}}