{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:59Z","timestamp":1750307999397,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,7,10]],"date-time":"2006-07-10T00:00:00Z","timestamp":1152489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,10]]},"DOI":"10.1145\/1140335.1140344","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"61-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["BASS"],"prefix":"10.1145","author":[{"given":"Pablo","family":"Garralda","sequence":"first","affiliation":[{"name":"Stevens Institute of Technology, Hoboken, NJ"}]},{"given":"Adriana","family":"Compagnoni","sequence":"additional","affiliation":[{"name":"Stevens Institute of Technology, Hoboken, NJ"}]},{"given":"Mariangiola","family":"Dezani-Ciancaglini","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Torino, Torino, Italy"}]}],"member":"320","published-online":{"date-parts":[[2006,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Torben\n      Amtoft Assaf J.\n      Kfoury and \n      Santiago\n     M\n  . \n  Pericas-Geertsen. What are Polymorphically-Typed Ambients? In David Sands editor ESOP'01 volume \n  2028\n   of \n  LNCS pages \n  206\n  --\n  220\n  . \n  Springer-Verlag 2001\n  .]]   Torben Amtoft Assaf J. Kfoury and Santiago M. Pericas-Geertsen. What are Polymorphically-Typed Ambients? In David Sands editor ESOP'01 volume 2028 of LNCS pages 206--220. Springer-Verlag 2001.]]","DOI":"10.1007\/3-540-45309-1_14"},{"key":"e_1_3_2_1_2_1","first-page":"591","volume-title":"PolyA: True Type Polymorphism for Mobile Ambients","author":"Amtoft Torben","year":"2004","unstructured":"Torben Amtoft , Henning Makholm , and Joe B. Wells . PolyA: True Type Polymorphism for Mobile Ambients . In Jean-Jacques L\u00e9vy, Ernst W. Mayr, and John C. Mitchell, editors, TCS'04, pages 591 -- 604 . Kluwer , 2004 .]] Torben Amtoft, Henning Makholm, and Joe B. Wells. PolyA: True Type Polymorphism for Mobile Ambients. In Jean-Jacques L\u00e9vy, Ernst W. Mayr, and John C. Mitchell, editors, TCS'04, pages 591--604. Kluwer, 2004.]]"},{"key":"e_1_3_2_1_3_1","volume-title":"The \u03bb Calculus: its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics 103. North-Holland","author":"Barendregt Henk P.","year":"1984","unstructured":"Henk P. Barendregt . The \u03bb Calculus: its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics 103. North-Holland , Amsterdam , revised edition, 1984 .]] Henk P. Barendregt. The \u03bb Calculus: its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics 103. North-Holland, Amsterdam, revised edition, 1984.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680400543X"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.05.002"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Eduardo\n      Bonelli Adriana B.\n      Compagnoni Mariangiola\n      Dezani-Ciancaglini and \n      Pablo\n      Garralda\n    .\n  Boxed Ambients with Communication Interfaces\n  . In V\u00e1clav Fiala Jir\u00edand Koubek and Kratochv\u00edl Jan editors MFCS'04 volume \n  3153\n   of \n  LNCS pages \n  119\n  --\n  148\n  . \n  Springer-Verlag 2004\n  .]]  Eduardo Bonelli Adriana B. Compagnoni Mariangiola Dezani-Ciancaglini and Pablo Garralda. Boxed Ambients with Communication Interfaces. In V\u00e1clav Fiala Jir\u00edand Koubek and Kratochv\u00edl Jan editors MFCS'04 volume 3153 of LNCS pages 119--148. Springer-Verlag 2004.]]","DOI":"10.1007\/978-3-540-28629-5_7"},{"key":"e_1_3_2_1_7_1","volume-title":"Release 1. Mikado Deliverable D1.2.1,","author":"Boudol G\u00e9rard","year":"2003","unstructured":"G\u00e9rard Boudol . 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, 2003 .]] G\u00e9rard Boudol. 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, 2003.]]"},{"issue":"1","key":"e_1_3_2_1_8_1","first-page":"61","article-title":"Behavioral Typing for Safe Ambients","volume":"28","author":"Bugliesi Michele","year":"2002","unstructured":"Michele Bugliesi and Giuseppe Castagna . Behavioral Typing for Safe Ambients . Computer Languages , 28 ( 1 ): 61 -- 99 , 2002 .]] Michele Bugliesi and Giuseppe Castagna. Behavioral Typing for Safe Ambients. Computer Languages, 28(1):61--99, 2002.]]","journal-title":"Computer Languages"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/963778.963781"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1116699.1709483"},{"volume-title":"A Theoretical Basis of Communication-centered Concurrent Programming","author":"Carbone Marco","key":"e_1_3_2_1_11_1","unstructured":"Marco Carbone , Kohei Honda , and Nobuko Yoshida . A Theoretical Basis of Communication-centered Concurrent Programming . Web Services Choreography Working Group mailing list, to appear as a WS-CDL working report.]] Marco Carbone, Kohei Honda, and Nobuko Yoshida. A Theoretical Basis of Communication-centered Concurrent Programming. Web Services Choreography Working Group mailing list, to appear as a WS-CDL working report.]]"},{"key":"e_1_3_2_1_12_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-48749-2_4","volume-title":"Secure Internet Programming","author":"Cardelli Luca","year":"1999","unstructured":"Luca Cardelli . Abstractions for Mobile Computation . In Jan Vitek and Christian Jensen, editors, Secure Internet Programming , volume 1603 of LNCS , pages 51 -- 94 . Springer-Verlag , 1999 .]] Luca Cardelli. Abstractions for Mobile Computation. In Jan Vitek and Christian Jensen, editors, Secure Internet Programming, volume 1603 of LNCS, pages 51--94. Springer-Verlag, 1999.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Luca\n      Cardelli Giorgio\n      Ghelli and \n      Andrew D.\n      Gordon\n  . \n  Mobility Types for Mobile Ambients\n  . In Jiri Wiedermann Peter van Emde Boas and Mogens Nielsen editors ICALP'99 volume \n  1644\n   of \n  LNCS pages \n  230\n  --\n  239\n  . \n  Springer-Verlag 1999\n  .]]   Luca Cardelli Giorgio Ghelli and Andrew D. Gordon. Mobility Types for Mobile Ambients. In Jiri Wiedermann Peter van Emde Boas and Mogens Nielsen editors ICALP'99 volume 1644 of LNCS pages 230--239. Springer-Verlag 1999.]]","DOI":"10.1007\/3-540-48523-6_20"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(01)93121-9"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1096341.1709510"},{"key":"e_1_3_2_1_17_1","first-page":"583","volume-title":"Dynamic and Local Typing for Mobile Ambients","author":"Coppo Mario","year":"2004","unstructured":"Mario Coppo , Mariangiola Dezani-Ciancaglini , Elio Giovannetti , and Rosario Pugliese . Dynamic and Local Typing for Mobile Ambients . In Jean-Jacques L\u00e9vy, Ernst W. Mayr, and John C. Mitchell, editors, TCS'04, pages 583 -- 596 . Kluwer , 2004 .]] Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, and Rosario Pugliese. Dynamic and Local Typing for Mobile Ambients. In Jean-Jacques L\u00e9vy, Ernst W. Mayr, and John C. Mitchell, editors, TCS'04, pages 583--596. Kluwer, 2004.]]"},{"key":"e_1_3_2_1_18_1","series-title":"ENTCS","volume-title":"M3: Mobility Types for Mobile Processes in Mobile Ambients","author":"Coppo Mario","year":"2003","unstructured":"Mario Coppo , Mariangiola Dezani-Ciancaglini , Elio Giovannetti , and Ivano Salvo . M3: Mobility Types for Mobile Processes in Mobile Ambients . In James Harland, editor, CATS'03, volume 78 of ENTCS . Elsevier , 2003 .]] Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, and Ivano Salvo. M3: Mobility Types for Mobile Processes in Mobile Ambients. In James Harland, editor, CATS'03, volume 78 of ENTCS. Elsevier, 2003.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.685256"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_20"},{"key":"e_1_3_2_1_21_1","series-title":"LNCS","first-page":"299","volume-title":"Rocco De Nicola and Davide Sangiorgi","author":"Dezani-Ciancaglini Mariangiola","year":"2005","unstructured":"Mariangiola Dezani-Ciancaglini , Nobuko Yoshida , Alex Ahern , and Sophia Drossopoulou . A Distributed Object Oriented Language with Session Types . In Rocco De Nicola and Davide Sangiorgi , editors, TGC'05, volume 3705 of LNCS , pages 299 -- 318 . Springer-Verlag , 2005 .]] Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alex Ahern, and Sophia Drossopoulou. A Distributed Object Oriented Language with Session Types. In Rocco De Nicola and Davide Sangiorgi, editors, TGC'05, volume 3705 of LNCS, pages 299--318. Springer-Verlag, 2005.]]"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.09.021"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Simon\n      Gay\n     and \n      Malcolm\n      Hole\n    .\n  Types and Subtypes for Client-Server Interactions\n  . In S. Doaitse Swierstra editor ESOP'99 volume \n  1576\n   of \n  LNCS pages \n  74\n  --\n  90\n  . \n  Springer-Verlag 1999\n  .]]   Simon Gay and Malcolm Hole. Types and Subtypes for Client-Server Interactions. In S. Doaitse Swierstra editor ESOP'99 volume 1576 of LNCS pages 74--90. Springer-Verlag 1999.]]","DOI":"10.1007\/3-540-49099-X_6"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-005-0177-z"},{"key":"e_1_3_2_1_25_1","volume-title":"Department of Computing","author":"Gay Simon","year":"2003","unstructured":"Simon Gay , Vasco T. Vasconcelos , and Ant\u00f3nio Ravara . Session Types for Inter-Process Communication. TR 2003--133 , Department of Computing , University of Glasgow , 2003 .]] Simon Gay, Vasco T. Vasconcelos, and Ant\u00f3nio Ravara. Session Types for Inter-Process Communication. TR 2003--133, Department of Computing, University of Glasgow, 2003.]]"},{"key":"e_1_3_2_1_26_1","series-title":"LNCS","first-page":"151","volume-title":"Global Computing","author":"Giovannetti Elio","year":"2003","unstructured":"Elio Giovannetti . Ambient Calculi with Types: a Tutorial . In Corrado Priami, editor, Global Computing , volume 2874 of LNCS , pages 151 -- 191 . Springer-Verlag , 2003 .]] Elio Giovannetti. Ambient Calculi with Types: a Tutorial. In Corrado Priami, editor, Global Computing, volume 2874 of LNCS, pages 151--191. Springer-Verlag, 2003.]]"},{"key":"e_1_3_2_1_27_1","unstructured":"Andrew\n     D.\n  Gordon and Alan Jeffrey. Typing Correspondence Assertions for Communication Protocols\n  . In Stephen Brooks and Michael Mislove editors MFPS'01 volume \n  45\n   of \n  ENTCS pages \n  379\n  --\n  409\n  . \n  Elsevier 2001\n  .]]  Andrew D. Gordon and Alan Jeffrey. Typing Correspondence Assertions for Communication Protocols. In Stephen Brooks and Michael Mislove editors MFPS'01 volume 45 of ENTCS pages 379--409. Elsevier 2001.]]"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.3089"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Kohei\n      Honda\n    .\n  Types for Dyadic Interaction\n  . In Eike Best editor CONCUR'93 volume \n  715\n   of \n  LNCS pages \n  509\n  --\n  523\n  . \n  Springer-Verlag 1993\n  .]]   Kohei Honda. Types for Dyadic Interaction. In Eike Best editor CONCUR'93 volume 715 of LNCS pages 509--523. Springer-Verlag 1993.]]","DOI":"10.1007\/3-540-57208-2_35"},{"key":"e_1_3_2_1_30_1","unstructured":"Kohei\n      Honda Vasco T.\n      Vasconcelos and \n      Makoto\n      Kubo\n    .\n  Language Primitives and Type Disciplines for Structured Communication-based Programming\n  . In Chris Hankin editor ESOP'98 volume \n  1381\n   of \n  LNCS pages \n  22\n  --\n  138\n  . \n  Springer-Verlag 1998\n  .]]   Kohei Honda Vasco T. Vasconcelos and Makoto Kubo. Language Primitives and Type Disciplines for Structured Communication-based Programming. In Chris Hankin editor ESOP'98 volume 1381 of LNCS pages 22--138. Springer-Verlag 1998.]]"},{"key":"e_1_3_2_1_31_1","first-page":"395","volume-title":"Computational Logic: Essays in Honor of Alan Robinson","author":"Huet G\u00e9rard","year":"1991","unstructured":"G\u00e9rard Huet and Jean-Jacques L\u00e9vy . Computations in Orthogonal Rewriting Systems , I. In Jean-Louis Lassez and Gordon Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson , pages 395 -- 414 . MIT Press , Cambridge, MA , 1991 .]] G\u00e9rard Huet and Jean-Jacques L\u00e9vy. Computations in Orthogonal Rewriting Systems, I. In Jean-Louis Lassez and Gordon Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson, pages 395--414. MIT Press, Cambridge, MA, 1991.]]"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/596980.596981"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"C\u00e9dric\n      Lhoussaine\n     and \n      Vladimiro\n      Sassone\n    .\n  A Dependently Typed Ambient Calculus\n  . In David Schmidt editor ESOP'04 volume \n  2986\n   of \n  LNCS pages \n  171\n  --\n  187\n  . \n  Springer-Verlag 2004\n  .]]  C\u00e9dric Lhoussaine and Vladimiro Sassone. A Dependently Typed Ambient Calculus. In David Schmidt editor ESOP'04 volume 2986 of LNCS pages 171--187. Springer-Verlag 2004.]]","DOI":"10.1007\/978-3-540-24725-8_13"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503280"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Massimo\n      Merro\n     and \n      Vladimiro\n      Sassone\n    .\n  Typing and Subtyping Mobility in Boxed Ambients\n  . In Lubos Brim Petr Jancar Mojmir Kretinsky and Antonin Kucera editors CONCUR'02 volume \n  2421\n   of \n  LNCS pages \n  304\n  --\n  320\n  . \n  Springer-Verlag 2002\n  .]]   Massimo Merro and Vladimiro Sassone. Typing and Subtyping Mobility in Boxed Ambients. In Lubos Brim Petr Jancar Mojmir Kretinsky and Antonin Kucera editors CONCUR'02 volume 2421 of LNCS pages 304--320. Springer-Verlag 2002.]]","DOI":"10.1007\/3-540-45694-5_21"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Kaku\n      Takeuchi Kohei\n      Honda and \n      Makoto\n      Kubo\n    .\n  An Interaction-based Language and its Typing System\n  . In Constantine Halatsis Dimitris G. Maritsas George Philokyprou and Sergios Theodoridis editors PARLE'94 volume \n  817\n   of \n  LNCS pages \n  398\n  --\n  413\n  . \n  Springer-Verlag 1994\n  .]]   Kaku Takeuchi Kohei Honda and Makoto Kubo. An Interaction-based Language and its Typing System. In Constantine Halatsis Dimitris G. Maritsas George Philokyprou and Sergios Theodoridis editors PARLE'94 volume 817 of LNCS pages 398--413. Springer-Verlag 1994.]]","DOI":"10.1007\/3-540-58184-7_118"},{"key":"e_1_3_2_1_37_1","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Term Rewriting Systems","year":"2003","unstructured":"Terese. Term Rewriting Systems , volume 55 of Cambridge Tracts in Theoretical Computer Science . Cambridge University Press , 2003 .]] Terese. Term Rewriting Systems, volume 55 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2003.]]"},{"key":"e_1_3_2_1_38_1","volume-title":"FOCLASA'02","volume":"2002","author":"Vallecillo Antonio","unstructured":"Antonio Vallecillo , Vasco T. Vasconcelos , and Ant\u00f3nio Ravara . Typing the Behavior of Objects and Components using Session Types. In Antonio Brogi and Jean-Marie Jacquet, editors , FOCLASA'02 , volume 68(3) of ENTCS. Elsevier, 2002 .]] Antonio Vallecillo, Vasco T. Vasconcelos, and Ant\u00f3nio Ravara. Typing the Behavior of Objects and Components using Session Types. In Antonio Brogi and Jean-Marie Jacquet, editors, FOCLASA'02, volume 68(3) of ENTCS. Elsevier, 2002.]]"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Vasco T.\n      Vasconcelos Ant\u00f3nio\n      Ravara and \n      Simon\n      Gay\n    .\n  Session types for functional multithreading\n  . In Philippa Gardner and Nobuko Yoshida editors CONCUR'04 volume \n  3170\n   of \n  LNCS pages \n  497\n  --\n  511\n  . \n  Springer-Verlag 2004\n  .]]  Vasco T. Vasconcelos Ant\u00f3nio Ravara and Simon Gay. Session types for functional multithreading. In Philippa Gardner and Nobuko Yoshida editors CONCUR'04 volume 3170 of LNCS pages 497--511. Springer-Verlag 2004.]]","DOI":"10.1007\/978-3-540-28644-8_32"},{"key":"e_1_3_2_1_40_1","unstructured":"Web Services Choreography Working Group. Web Services Choreography Description Language. http:\/\/www.w3.org\/2002\/ws\/chor\/.]]  Web Services Choreography Working Group. Web Services Choreography Description Language. http:\/\/www.w3.org\/2002\/ws\/chor\/.]]"},{"key":"e_1_3_2_1_41_1","unstructured":"ZDNet. 2.3 bln wireless subscribers by 2009 June 2005. http:\/\/blogs.zdnet.com\/ITFacts\/?p=8102.]]  ZDNet. 2.3 bln wireless subscribers by 2009 June 2005. http:\/\/blogs.zdnet.com\/ITFacts\/?p=8102.]]"},{"volume-title":"866 mln bluetooth devices by","year":"2009","key":"e_1_3_2_1_42_1","unstructured":"ZDNet. 866 mln bluetooth devices by 2009 , November 2005. http:\/\/blogs.zdnet.com\/ITFacts\/?p=9485.]] ZDNet. 866 mln bluetooth devices by 2009, November 2005. http:\/\/blogs.zdnet.com\/ITFacts\/?p=9485.]]"}],"event":{"name":"PPDP06: Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Venice Italy","acronym":"PPDP06"},"container-title":["Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1140335.1140344","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1140335.1140344","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:24Z","timestamp":1750259184000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1140335.1140344"}},"subtitle":["boxed ambients with safe sessions"],"short-title":[],"issued":{"date-parts":[[2006,7,10]]},"references-count":42,"alternative-id":["10.1145\/1140335.1140344","10.1145\/1140335"],"URL":"https:\/\/doi.org\/10.1145\/1140335.1140344","relation":{},"subject":[],"published":{"date-parts":[[2006,7,10]]},"assertion":[{"value":"2006-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}