{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T06:41:30Z","timestamp":1708152090294},"reference-count":39,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T00:00:00Z","timestamp":1185926400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2007,8]]},"abstract":"<jats:p>We define<jats:bold>BACI<\/jats:bold><jats:italic>(Boxed Ambients with Communication Interfaces)<\/jats:italic>, an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed communication policy determining the kind of information that can be exchanged with a parent ambient, even though mobility changes the parent.<jats:bold>BACI<\/jats:bold>lifts that restriction, allowing different communication policies with different parents during computation. Furthermore,<jats:bold>BACI<\/jats:bold>separates communication and mobility by making the channels of communication between ambients explicit. In contrast with other typed ambient calculi where communication policies are global, each ambient in<jats:bold>BACI<\/jats:bold>is equipped with a description of the communication policies ruling its information exchange with parent and child ambients. The communication policies of ambients increase when they move: more precisely, when an ambient enters another ambient, the entering ambient and the host ambient can exchange their communication ports and agree on the kind of information to be exchanged. This information is recorded locally in both ambients.<\/jats:p><jats:p>We show the type-soundness of<jats:bold>BACI<\/jats:bold>, proving that it satisfies the subject reduction property, and we study its behavioural semantics by means of a labelled transition system.<\/jats:p>","DOI":"10.1017\/s0960129507006226","type":"journal-article","created":{"date-parts":[[2007,8,2]],"date-time":"2007-08-02T13:34:17Z","timestamp":1186061657000},"page":"587-645","source":"Crossref","is-referenced-by-count":2,"title":["Boxed ambients with communication interfaces"],"prefix":"10.1017","volume":"17","author":[{"given":"PABLO","family":"GARRALDA","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"EDUARDO","family":"BONELLI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ADRIANA","family":"COMPAGNONI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MARIANGIOLA","family":"DEZANI-CIANCAGLINI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2007,8,1]]},"reference":[{"key":"S0960129507006226_ref38","doi-asserted-by":"crossref","unstructured":"Teller D. , Zimmer P. and Hirschkoff D. (2002) Using Ambients to Control Resources. In: Brim L. , Jan\u0109ar P. , Kret\u00ednsk\u00fby M. and Ku\u0109era A. (eds.) CONCUR'02. Springer-Verlag Lecture Notes in Computer Science 2421 288\u2013303.","DOI":"10.1007\/3-540-45694-5_20"},{"key":"S0960129507006226_ref37","volume-title":"The \u03c0-calculus","author":"Sangiorgi","year":"2002"},{"key":"S0960129507006226_ref35","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55719-9_114"},{"key":"S0960129507006226_ref34","first-page":"203","volume-title":"NATO ASI Series F: Computer and Systems Sciences","volume":"94","author":"Milner","year":"1993"},{"key":"S0960129507006226_ref33","doi-asserted-by":"crossref","unstructured":"Merro M. and Sassone V. (2002) Typing and Subtyping Mobility in Boxed Ambients. In: Brim L. , Jancar P. , Kretinsky M. and Kucera A. (eds.) CONCUR'02. Springer-Verlag Lecture Notes in Computer Science 2421 304\u2013320.","DOI":"10.1007\/3-540-45694-5_21"},{"key":"S0960129507006226_ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1119479.1119482"},{"key":"S0960129507006226_ref31","doi-asserted-by":"crossref","unstructured":"Lhoussaine C. and Sassone V. (2004) A Dependently Typed Ambient Calculus. In: Schmidt D. (ed.) ESOP'04. Springer-Verlag Lecture Notes in Computer Science 2986 171\u2013187.","DOI":"10.1007\/978-3-540-24725-8_13"},{"key":"S0960129507006226_ref30","doi-asserted-by":"publisher","DOI":"10.1145\/596980.596981"},{"key":"S0960129507006226_ref28","doi-asserted-by":"crossref","unstructured":"Honda K. , Vasconcelos V. T. and Kubo M. (1998) Language Primitives and Type Disciplines for Structured Communication-based Programming. In: Hankin C. (ed.) ESOP'98. Springer-Verlag Lecture Notes in Computer Science 1381 22\u2013138.","DOI":"10.1007\/BFb0053567"},{"key":"S0960129507006226_ref26","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.3089"},{"key":"S0960129507006226_ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.12.024"},{"key":"S0960129507006226_ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48959-2_14"},{"key":"S0960129507006226_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014053"},{"key":"S0960129507006226_ref19","unstructured":"Garralda P. and Compagnoni A. (2005) Splitting Mobility and Communication in Boxed Ambients. In: Fern\u00e1ndez M. and Mackie I. (eds.) DCM 2005. Electronic Notes in Theoretical Computer Science 135 105\u2013114."},{"key":"S0960129507006226_ref24","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129502003742"},{"key":"S0960129507006226_ref18","doi-asserted-by":"crossref","unstructured":"Dezani-Ciancaglini M. , Mostrous D. , Yoshida N. and Drossopoulou S. (2006) Session Types for Object-Oriented Languages. In: Thomas D. (ed.) ECOOP'06. Springer-Verlag Lecture Notes in Computer Science 4067 328\u2013352.","DOI":"10.1007\/11785477_20"},{"key":"S0960129507006226_ref29","doi-asserted-by":"crossref","unstructured":"Honda K. and Yoshida N. (1994) Replication in Concurrent Combinators. In: Hagiya M. and Mitchell J. C. (eds.) TACS'94. Springer-Verlag Lecture Notes in Computer Science 789 786\u2013805.","DOI":"10.1007\/3-540-57887-0_125"},{"key":"S0960129507006226_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680400543X"},{"key":"S0960129507006226_ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1140335.1140344"},{"key":"S0960129507006226_ref36","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"key":"S0960129507006226_ref7","first-page":"61","article-title":"Behavioral Typing for Safe Ambients","volume":"28","author":"Bugliesi","year":"2002","journal-title":"Computer Languages"},{"key":"S0960129507006226_ref17","doi-asserted-by":"publisher","DOI":"10.1109\/32.685256"},{"key":"S0960129507006226_ref39","doi-asserted-by":"crossref","unstructured":"Zimmer P. (2000) Subtyping and Typing Algorithms for Mobile Ambients. In: Tiuryn J. (ed.) FOSSACS'00. Springer-Verlag Lecture Notes in Computer Science 1784 375\u2013390.","DOI":"10.1007\/3-540-46432-8_25"},{"key":"S0960129507006226_ref6","doi-asserted-by":"crossref","unstructured":"Boudol G. (2003) A Parametric Model of Migration and Mobility, Release 1. Mikado Deliverable D1.2.1. (Available at http:\/\/mikado.di.fc.ul.pt\/repository\/D1.2.1.pdf)","DOI":"10.5465\/ambpp.2003.13792464"},{"key":"S0960129507006226_ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(01)93121-9"},{"key":"S0960129507006226_ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40042-4_5"},{"key":"S0960129507006226_ref3","doi-asserted-by":"crossref","unstructured":"Barbanera F. , Bugliesi M. , Dezani-Ciancaglini M. and Sassone V. (2003) A Calculus of Bounded Capacities. In: Saraswat V. A. (ed.) ASIAN'03. Springer-Verlag Lecture Notes in Computer Science 2896 205\u2013223.","DOI":"10.1007\/978-3-540-40965-6_14"},{"key":"S0960129507006226_ref27","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1023\/B:JARS.0000021016.61054.3b","article-title":"Trust and Partial Typing in Open Systems of Mobile Agents","volume":"31","author":"Hennessy","year":"2003","journal-title":"Journal of Automated Reasoning"},{"key":"S0960129507006226_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45309-1_14"},{"key":"S0960129507006226_ref2","unstructured":"Amtoft T. , Makholm H. and Wells J. B. (2004) PolyA: True Type Polymorphism for Mobile Ambients. In: L\u00e9vy J.-J. , Mayr E. W. and Mitchell J. C. (eds.) TCS'04 591\u2013604."},{"key":"S0960129507006226_ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2004.11.005"},{"key":"S0960129507006226_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28629-5_7"},{"key":"S0960129507006226_ref8","doi-asserted-by":"publisher","DOI":"10.1145\/963778.963781"},{"key":"S0960129507006226_ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"S0960129507006226_ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.06.002"},{"key":"S0960129507006226_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/11580850_6"},{"key":"S0960129507006226_ref14","doi-asserted-by":"crossref","unstructured":"Coppo M. , Cozzi F. , Dezani-Ciancaglini M. , Giovannetti E. and Pugliese R. (2005) A Mobility Calculus with Local and Dependent Types. In: Middeldorp A. , van Oostrom V. , van Raamsdonk F. and de Vrijer R. (eds.) Processes, Terms and Cycles: Steps on the Road to Infinity. Springer-Verlag Lecture Notes in Computer Science 3838 404\u2013444.","DOI":"10.1007\/11601548_20"},{"key":"S0960129507006226_ref15","first-page":"583","volume-title":"TCS'04","author":"Coppo","year":"2004"},{"key":"S0960129507006226_ref16","unstructured":"Coppo M. , Dezani-Ciancaglini M. , Giovannetti E. and Salvo I. (2003) M3: Mobility Types for Mobile Processes in Mobile Ambients. In: Harland J. (ed.) CATS'03. Electronic Notes in Theoretical Computer Science 78"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129507006226","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T06:27:50Z","timestamp":1708151270000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129507006226\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8]]},"references-count":39,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,8]]}},"alternative-id":["S0960129507006226"],"URL":"https:\/\/doi.org\/10.1017\/s0960129507006226","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,8]]}}}