{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:31:03Z","timestamp":1725564663527},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205838"},{"type":"electronic","value":"9783540400424"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40042-4_2","type":"book-chapter","created":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T00:35:00Z","timestamp":1283560500000},"page":"25-56","source":"Crossref","is-referenced-by-count":3,"title":["Reflecting Mobile Ambients into the \u03c0-Calculus"],"prefix":"10.1007","author":[{"given":"Linda","family":"Brodo","sequence":"first","affiliation":[]},{"given":"Pierpaolo","family":"Degano","sequence":"additional","affiliation":[]},{"given":"Corrado","family":"Priami","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Brodo, L., Degano, P., Priami, C.: A tool for quantitative analysis of \u03c0-calculus processes. In: Gorrieri, R. (ed.) Proceedings of Process Algebra and Performance Modelling (PAPM 2000), Geneva, Carleton Scientific (2000)"},{"key":"2_CR2","unstructured":"Brodo, L., Priami, C.: Performance considerations on the wap secure transpor layer. In: Nowak, D. (ed.) Proceedings of Automated Verification of Critical Systems (AVoCS 2001), Oxford, UK (2001)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Access control for mobile agents: The calculus of boxed ambients. ACM Transactions on Programming Languages and Systems (to appear)","DOI":"10.1145\/963778.963781"},{"key":"2_CR4","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":"2_CR5","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240\/1","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.: Mobile Ambients. Theoretical Computer Science\u00a0240\/1, 177\u2013213 (2000)","journal-title":"Theoretical Computer Science"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/ASAMA.1999.805390","volume-title":"Proceedings of Agent Systems and Applications and International Symposium on Mobile Agents (ASA\/MA 1999)","author":"S. Conchon","year":"1999","unstructured":"Conchon, S., Le Fessant, F.: Jocaml: Mobile agents for objective-caml. In: Proceedings of Agent Systems and Applications and International Symposium on Mobile Agents (ASA\/MA 1999), Palm Springs, California, USA, pp. 22\u201329. IEEE Computer Society, Los Alamitos (1999)"},{"key":"2_CR7","series-title":"ENTCS","volume-title":"Proceedings of Foundations of Wide Area Network Computing (FWAN 2002)","author":"S. Crafa","year":"2002","unstructured":"Crafa, S., Bugliesi, M., Castagna, G.: Information Flow Security in Boxed Ambients. In: Proceedings of Foundations of Wide Area Network Computing (FWAN 2002), Malaga, Spain. ENTCS, vol.\u00a03, Elsevier, Amsterdam (2002)"},{"issue":"1-2","key":"2_CR8","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0304-3975(99)80003-6","volume":"216","author":"P. Degano","year":"1999","unstructured":"Degano, P., Priami, C.: Non-interleaving semantics for mobile processes. Theoretical Computer Science\u00a0216(1-2), 237\u2013270 (1999)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"2_CR9","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1145\/384192.384194","volume":"33","author":"P. Degano","year":"2001","unstructured":"Degano, P., Priami, C.: Enhanced operational semantics: a tool for describing and analyzing concurrent systems. ACM Computing Surveys\u00a033(2), 135\u2013176 (2001)","journal-title":"ACM Computing Surveys"},{"key":"2_CR10","first-page":"372","volume-title":"Proceedings of Principles of Programming Languages (POPL 1996)","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the join-calculus. In: Proceedings of Principles of Programming Languages (POPL 1996), St. Petersburg Beach, Florida, USA, pp. 372\u2013385. ACM Press, New York (1996)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-45699-6_6","volume-title":"Applied Semantics","author":"C. Fournet","year":"2002","unstructured":"Fournet, C., Gonthier, G.: The Join Calculus: A language for distributed mobile programming. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol.\u00a02395, pp. 268\u2013332. Springer, Heidelberg (2002)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-44929-9_26","volume-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","author":"C. Fournet","year":"2000","unstructured":"Fournet, C., Levy, J.J., Schmitt, A.: An asynchronous, distributed implementation of mobile ambients. In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol.\u00a01872, pp. 348\u2013364. Springer, Heidelberg (2000)"},{"key":"2_CR13","unstructured":"Guan, X., You, J.: Encoding channels in typed ambients (unpublished manuscript)"},{"issue":"1","key":"2_CR14","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(1), 82\u2013120 (2002)","journal-title":"Information and Computation"},{"key":"2_CR15","first-page":"352","volume-title":"Proceedings of Principles of Programming Languages (POPL 2000)","author":"F. Levi","year":"2000","unstructured":"Levi, F., Sangiorgi, D.: Controlling interference in ambients. In: Proceedings of Principles of Programming Languages (POPL 2000), Boston, Massachusetts, USA, pp. 352\u2013364. ACM Press, New York (2000)"},{"key":"2_CR16","volume-title":"Communicating and Mobile Systems: The \u03c0 Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The \u03c0 Calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"1","key":"2_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"2_CR18","unstructured":"Sangiorgi, D.: Expressing Mobility in Process Algebra. PhD thesis, University of Edinburgh, Edinburgh, U.K. (1993)"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/BFb0055094","volume-title":"Automata, Languages and Programming","author":"P. Sewell","year":"1998","unstructured":"Sewell, P.: Global\/local subtyping and capability inference for a distributed \u03c0-calculus. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, p. 695. Springer, Heidelberg (1998)"},{"key":"2_CR20","first-page":"143","volume-title":"Proceedings of Principles of Programming Languages (POPL 1989)","author":"B. Thomsen","year":"1989","unstructured":"Thomsen, B.: A calculus of higher order communicating systems. In: Proceedings of Principles of Programming Languages (POPL 1989), Austin, Texas, USA, pp. 143\u2013154. ACM Press, New York (1989)"},{"issue":"1","key":"2_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01200262","volume":"30","author":"B. Thomsen","year":"1993","unstructured":"Thomsen, B.: Plain CHOCS: A second generation calculus for higher order processes. Acta Informatica\u00a030(1), 1\u201359 (1993)","journal-title":"Acta Informatica"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-61604-7_61","volume-title":"CONCUR \u201996: Concurrency Theory","author":"B. Thomsen","year":"1996","unstructured":"Thomsen, B., Leth, L., Kuo, T.-M.: A facile tutorial. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 278\u2013298. Springer, Heidelberg (1996)"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-58179-0_73","volume-title":"Computer Aided Verification","author":"B. Victor","year":"1994","unstructured":"Victor, B., Moller, F.: The Mobility Workbench \u2014 A tool for the \u03c0-calculus. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 428\u2013440. Springer, Heidelberg (1994)"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Zimmer, P.: On the Expressiveness of Pure Mobile Ambients. Mathematical Structures of Computer Science 13 (2003)","DOI":"10.1017\/S0960129503004079"}],"container-title":["Lecture Notes in Computer Science","Global Computing. Programming Environments, Languages, Security, and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40042-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T13:12:53Z","timestamp":1559567573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40042-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205838","9783540400424"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40042-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}