{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:49:26Z","timestamp":1743148166840,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642177958"},{"type":"electronic","value":"9783642177965"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-17796-5_3","type":"book-chapter","created":{"date-parts":[[2011,1,11]],"date-time":"2011-01-11T12:08:27Z","timestamp":1294747707000},"page":"44-59","source":"Crossref","is-referenced-by-count":5,"title":["On the Expressiveness of the \u03c0-Calculus and the Mobile Ambients"],"prefix":"10.1007","author":[{"given":"Linda","family":"Brodo","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"3_CR1","first-page":"11","volume":"171","author":"B. Aman","year":"2007","unstructured":"Aman, B., Ciobanu, G.: Translating Mobile Ambients into P Systems. ENTCS\u00a0171(2), 11\u201323 (2007)","journal-title":"ENTCS"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-540-74792-5_9","volume-title":"Formal Methods for Components and Objects","author":"J. Aranda","year":"2007","unstructured":"Aranda, J., Di Giusto, C., Palamidessi, C., Valencia, F.D.: On Recursion, Replication and Scope Mechanisms in Process Calculi. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2006. LNCS, vol.\u00a04709, pp. 185\u2013206. Springer, Heidelberg (2007)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-40042-4_2","volume-title":"Global Computing. Programming Environments, Languages, Security, and Analysis of Systems","author":"L. Brodo","year":"2003","unstructured":"Brodo, L., Degano, P., Priami, C.: Reflecting Mobile Ambients into the \u03c0-Calculus. In: Priami, C. (ed.) GC 2003. LNCS, vol.\u00a02874, pp. 25\u201356. Springer, Heidelberg (2003)"},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","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":"3_CR5","first-page":"335","volume":"117","author":"P. Cenciarelli","year":"2005","unstructured":"Cenciarelli, P., Talamo, I., Tiberi, A.: Ambient Graph Rewriting. ENTCS\u00a0117, 335\u2013351 (2005)","journal-title":"ENTCS"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-70881-0_15","volume-title":"Perspectives of Systems Informatics","author":"G. Ciobanu","year":"2007","unstructured":"Ciobanu, G., Zakharov, V.A.: Encoding mobile ambients into the \u03c0-calculus. In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol.\u00a04378, pp. 148\u2013165. Springer, Heidelberg (2007)"},{"issue":"2","key":"3_CR7","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 Analysing Concurrent Systems. ACM Computing Surveys\u00a033(2), 135\u2013176 (2001)","journal-title":"ACM Computing Surveys"},{"key":"3_CR8","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., L\u00e9vy, J.-J., Schmitt, A.: An Asynchronous, Distributed Implementation of Mobile Ambients. In: Watanabe, O., et al. (eds.) TCS 2000. LNCS, vol.\u00a01872, pp. 348\u2013364. Springer, Heidelberg (2000)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-540-87405-8_9","volume-title":"Graph Transformations","author":"F. Gadducci","year":"2008","unstructured":"Gadducci, F., Monreale, G.V.: A Decentralized Implementation of Mobile Ambients. In: Ehrig, H., et al. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 115\u2013130. Springer, Heidelberg (2008)"},{"key":"3_CR10","first-page":"269","volume":"249","author":"D. Gorla","year":"2009","unstructured":"Gorla, D.: On the Relative Expressive Power of Calculi for Mobility. ENTCS\u00a0249, 269\u2013286 (2009)","journal-title":"ENTCS"},{"key":"3_CR11","first-page":"352","volume-title":"Proceedings of the Symposium on Principles of Programming Languages (POPL 2000)","author":"F. Levi","year":"2000","unstructured":"Levi, F., Sangiorgi, D.: Controlling Interference in Ambients. In: Proceedings of the Symposium on Principles of Programming Languages (POPL 2000), pp. 352\u2013364. ACM Press, New York (2000)"},{"issue":"1","key":"3_CR12","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, Part 1-2. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1016\/j.ic.2007.08.005","volume":"206","author":"I. Phillips","year":"2008","unstructured":"Phillips, I., Vigliotti, M.G.: Symmetric Electoral Systems for Ambient Calculi. Information and Computation\u00a0206(1), 34\u201372 (2008)","journal-title":"Information and Computation"},{"issue":"1","key":"3_CR14","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G.. P\u01ceun","year":"2000","unstructured":"P\u01ceun, G.: Computing with membranes. Computer and System Sciences\u00a061(1), 108\u2013143 (2000)","journal-title":"Computer and System Sciences"},{"issue":"5","key":"3_CR15","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1017\/S0960129503004079","volume":"13","author":"P. Zimmer","year":"2003","unstructured":"Zimmer, P.: On the expressiveness of the Pure Safe Ambients. Mathematical Structure in Computer Science\u00a013(5), 721\u2013770 (2003)","journal-title":"Mathematical Structure in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17796-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,6]],"date-time":"2018-10-06T08:09:49Z","timestamp":1538813389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17796-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642177958","9783642177965"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17796-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}