{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:36:24Z","timestamp":1725572184177},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540228233"},{"type":"electronic","value":"9783540286295"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-28629-5_7","type":"book-chapter","created":{"date-parts":[[2010,12,17]],"date-time":"2010-12-17T17:59:50Z","timestamp":1292608790000},"page":"119-148","source":"Crossref","is-referenced-by-count":6,"title":["Boxed Ambients with Communication Interfaces"],"prefix":"10.1007","author":[{"given":"Eduardo","family":"Bonelli","sequence":"first","affiliation":[]},{"given":"Adriana","family":"Compagnoni","sequence":"additional","affiliation":[]},{"given":"Mariangiola","family":"Dezani-Ciancaglini","sequence":"additional","affiliation":[]},{"given":"Pablo","family":"Garralda","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/3-540-45309-1_14","volume-title":"Programming Languages and Systems","author":"T. Amtoft","year":"2001","unstructured":"Amtoft, T., Kfoury, A.J., Pericas-Geertsen, S.M.: What are Polymorphically-Typed Ambients? In: Sands, D. (ed.) ESOP 2001. LNCS, vol.\u00a02028, pp. 206\u2013220. Springer, Heidelberg (2001)"},{"key":"7_CR2","unstructured":"Amtoft, T., Makholm, H., Wells, J.B.: PolyA: True Type Polymorphism for Mobile Ambients. In: TCS 2004 (2004) (to appear)"},{"key":"7_CR3","unstructured":"Barendregt, H.P.: The Lambda Calculus: its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics, vol.\u00a0103, revised edition. North-Holland, Amsterdam (1984)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Boudol, G.: A Parametric Model of Migration and Mobility, Release 1. Mikado Deliverable D1.2.1 (2003), available at http:\/\/mikado.di.fc.ul.pt\/repository\/D1.2.1.pdf","DOI":"10.5465\/ambpp.2003.13792464"},{"issue":"1","key":"7_CR5","first-page":"61","volume":"28","author":"M. Bugliesi","year":"2002","unstructured":"Bugliesi, M., Castagna, G.: Behavioral Typing for Safe Ambients. Computer Languages\u00a028(1), 61\u201399 (2002)","journal-title":"Computer Languages"},{"issue":"1","key":"7_CR6","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/963778.963781","volume":"26","author":"M. Bugliesi","year":"2004","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Access Control for Mobile Agents: The Calculus of Boxed Ambients. ACM Transactions on Programming Languages and Systems\u00a026(1), 57\u2013124 (2004)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Crafa, S., Merro, M., Sassone, V.: Communication and Mobility Control in Boxed Ambients. To appear in Information and Computation. Extended and revised version of Bugliesi, M., Crafa, S., Merro, M., Sassone, V., Communication Interference in Mobile Boxed Ambients In: Agrawal, M., Seth, A.K. (eds.) FSTTCS 2002. LNCS, vol.\u00a02556, pp. 71\u201384. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-36206-1_8"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-48523-6_20","volume-title":"Automata, Languages and Programming","author":"L. Cardelli","year":"1999","unstructured":"Cardelli, L., Ghelli, G., Gordon, A.D.: Mobility Types for Mobile Ambients. In: Wiedermann, J., Van Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol.\u00a01644, pp. 230\u2013239. Springer, Heidelberg (1999)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-44929-9_25","volume-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Ghelli, G., Gordon, A.D.: Ambient Groups and Mobility Types. In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol.\u00a01872, pp. 333\u2013347. Springer, Heidelberg (2000)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Mobile Ambients. Theoretical Computer Science\u00a0240(1), 177\u2013213 (2000) Special Issue on Coordination, Daniel Le M\u00e9tayer Editor","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-47959-7_3","volume-title":"Internet Programming Languages","author":"J. Vitek","year":"1999","unstructured":"Vitek, J., Castagna, G.: Seal: A Framework for Secure Mobile Computations. In: Bal, H.E., Cardelli, L., Belkhouche, B. (eds.) ICCL-WS 1998. LNCS, vol.\u00a01686, pp. 47\u201377. Springer, Heidelberg (1999)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Giovannetti, E., Pugliese, R.: Dynamic and Local Typing for Mobile Ambients. In: TCS 2004 (2004) (to appear)","DOI":"10.1007\/1-4020-8141-3_44"},{"key":"7_CR13","series-title":"ENTCS","volume-title":"CATS 2003","author":"M. Coppo","year":"2003","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Giovannetti, E., Salvo, I.: M3: Mobility Types for Mobile Processes in Mobile Ambients. In: Harland, J. (ed.) CATS 2003. ENTCS, vol.\u00a078, Elsevier, Amsterdam (2003)"},{"issue":"5","key":"7_CR14","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-40042-4_5","volume-title":"Global Computing. Programming Environments, Languages, Security, and Analysis of Systems","author":"E. Giovannetti","year":"2003","unstructured":"Giovannetti, E.: Ambient calculi with types: A tutorial. In: Priami, C. (ed.) GC 2003. LNCS, vol.\u00a02874, pp. 151\u2013191. Springer, Heidelberg (2003)"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/BFb0014053","volume-title":"Typed Lambda Calculi and Applications","author":"H. Goguen","year":"1995","unstructured":"Goguen, H.: Typed operational semantics. In: Dezani-Ciancaglini, M., Plotkin, G. (eds.) TLCA 1995. LNCS, vol.\u00a0902, pp. 186\u2013200. Springer, Heidelberg (1995)"},{"issue":"3","key":"7_CR17","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1017\/S0960129502003742","volume":"13","author":"A.D. Gordon","year":"2003","unstructured":"Gordon, A.D., Cardelli, L.: Equational properties of mobile ambients. Mathematical Structures in Computer Science\u00a013(3), 371\u2013408 (2003)","journal-title":"Mathematical Structures in Computer Science"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1006\/inco.2001.3089","volume":"173","author":"M. Hennessy","year":"2002","unstructured":"Hennessy, M., Riely, J.: Resource Access Control in Systems of Mobile Agents. Information and Computation\u00a0173, 82\u2013120 (2002)","journal-title":"Information and Computation"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/3-540-36576-1_18","volume-title":"Foundations of Software Science and Computational Structures","author":"M. Hennessy","year":"2003","unstructured":"Hennessy, M., Merro, M., Rathke, J.: Towards a behavioural theory of access and mobility control in distributed system (extended abstract). In: Gordon, A.D. (ed.) FOSSACS 2003. LNCS, vol.\u00a02620, pp. 282\u2013298. Springer, Heidelberg (2003)"},{"issue":"1","key":"7_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/596980.596981","volume":"25","author":"F. Levi","year":"2003","unstructured":"Levi, F., Sangiorgi, D.: Controlling Interference in Ambients. Transactions on Programming Languages and Systems\u00a025(1), 1\u201369 (2003)","journal-title":"Transactions on Programming Languages and Systems"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-540-24725-8_13","volume-title":"Programming Languages and Systems","author":"C. Lhoussaine","year":"2004","unstructured":"Lhoussaine, C., Sassone, V.: A Dependently Typed Ambient Calculus. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 171\u2013187. Springer, Heidelberg (2004)"},{"key":"7_CR22","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/503272.503280","volume-title":"POPL 2002","author":"M. Merro","year":"2002","unstructured":"Merro, M., Hennessy, M.: Bisimulation Congruences in Safe Ambients. In: Jones, N.D., Leroy, X. (eds.) POPL 2002, pp. 71\u201380. ACM Press, New York (2002)"},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/3-540-45694-5_21","volume-title":"CONCUR 2002 - Concurrency Theory","author":"M. Merro","year":"2002","unstructured":"Merro, M., Sassone, V.: Typing and Subtyping Mobility in Boxed Ambients. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, pp. 304\u2013320. Springer, Heidelberg (2002)"},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1145\/263699.263712","volume-title":"POPL 1997","author":"G.C. Necula","year":"1997","unstructured":"Necula, G.C.: Proof-carrying code. In: Jones, N.D. (ed.) POPL 1997, pp. 106\u2013119. ACM Press, New York (1997)"},{"key":"7_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/BFb0084781","volume-title":"CONCUR \u201992","author":"D. Sangiorgi","year":"1992","unstructured":"Sangiorgi, D., Milner, R.: The problem of \u201cWeak Bisimulation up to\u201d. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630, pp. 32\u201346. Springer, Heidelberg (1992)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-28629-5_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,2]],"date-time":"2024-04-02T04:03:26Z","timestamp":1712030606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-28629-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540228233","9783540286295"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-28629-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}