{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:21Z","timestamp":1761611241020,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642009440"},{"type":"electronic","value":"9783642009457"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00945-7_9","type":"book-chapter","created":{"date-parts":[[2009,4,4]],"date-time":"2009-04-04T00:57:53Z","timestamp":1238806673000},"page":"141-156","source":"Crossref","is-referenced-by-count":2,"title":["On the Relative Expressive Power of Ambient-Based Calculi"],"prefix":"10.1007","author":[{"given":"Daniele","family":"Gorla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"9_CR1","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. Trans. on Progr. Lang. and Syst.\u00a026(1), 57\u2013124 (2004)","journal-title":"Trans. on Progr. Lang. and Syst."},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.ic.2005.06.002","volume":"202","author":"M. Bugliesi","year":"2005","unstructured":"Bugliesi, M., Crafa, S., Merro, M., Sassone, V.: Communication and mobility control in Boxed Ambients. Information and Computation\u00a0202(1), 39\u201386 (2005)","journal-title":"Information and Computation"},{"issue":"2","key":"9_CR3","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1016\/S0890-5401(01)93121-9","volume":"177","author":"L. Cardelli","year":"2002","unstructured":"Cardelli, L., Ghelli, G., Gordon, A.D.: Types for the Ambient Calculus. Information and Computation\u00a0177(2), 160\u2013194 (2002)","journal-title":"Information and Computation"},{"issue":"1","key":"9_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.D.: Mobile ambients. Theoretical Computer Science\u00a0240(1), 177\u2013213 (2000)","journal-title":"Theoretical Computer Science"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalence for processes. Theoretical Computer Science\u00a034, 83\u2013133 (1984)","journal-title":"Theoretical Computer Science"},{"unstructured":"Gorla, D.: Comparing calculi for mobility via their relative expressive power. Tech. Rep. 09\/2006, Dip. di Informatica, Universit\u00e0 di Roma La Sapienza","key":"9_CR6"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-540-85361-9_38","volume-title":"CONCUR 2008 - Concurrency Theory","author":"D. Gorla","year":"2008","unstructured":"Gorla, D.: Towards a unified approach to encodability and separation results for process calculi. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 492\u2013507. Springer, Heidelberg (2008)"},{"issue":"2","key":"9_CR8","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1145\/276393.278524","volume":"20","author":"N. Kobayashi","year":"1998","unstructured":"Kobayashi, N.: A partially deadlock-free typed process calculus. ACM Transactions on Programming Languages and Systems\u00a020(2), 436\u2013482 (1998)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"6","key":"9_CR9","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s00236-005-0002-8","volume":"42","author":"F. Levi","year":"2006","unstructured":"Levi, F.: A typed encoding of boxed into safe ambients. Acta Informatica\u00a042(6), 429\u2013500 (2006)","journal-title":"Acta Informatica"},{"issue":"1","key":"9_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/596980.596981","volume":"25","author":"F. Levi","year":"2003","unstructured":"Levi, F., Sangiorgi, D.: Mobile safe ambients. ACM Transactions on Programming Languages and Systems\u00a025(1), 1\u201369 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"9_CR11","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1145\/1119479.1119482","volume":"28","author":"M. Merro","year":"2006","unstructured":"Merro, M., Hennessy, M.: A bisimulation-based semantic theory of Safe Ambients. ACM Trans. on Programming Languages and Systems\u00a028(2), 290\u2013330 (2006)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"9_CR12","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":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/3-540-55719-9_114","volume-title":"Automata, Languages and Programming","author":"R. Milner","year":"1992","unstructured":"Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623, pp. 685\u2013695. Springer, Heidelberg (1992)"},{"issue":"5","key":"9_CR14","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1017\/S0960129503004043","volume":"13","author":"C. Palamidessi","year":"2003","unstructured":"Palamidessi, C.: Comparing the expressive power of the synchronous and the asynchronous \u03c0-calculi. Mathem. Structures in Computer Science\u00a013(5), 685\u2013719 (2003)","journal-title":"Mathem. Structures in Computer Science"},{"key":"9_CR15","first-page":"550","volume-title":"IFIP Conf. on Theoretical Comp. Sci.","author":"I. Phillips","year":"2002","unstructured":"Phillips, I., Vigliotti, M.: On reduction semantics for the push and pull ambient calculus. In: IFIP Conf. on Theoretical Comp. Sci., pp. 550\u2013562. Kluwer, Dordrecht (2002)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/978-3-540-24727-2_29","volume-title":"Foundations of Software Science and Computation Structures","author":"I. Phillips","year":"2004","unstructured":"Phillips, I., Vigliotti, M.: Electoral systems in ambient calculi. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 408\u2013422. Springer, Heidelberg (2004)"},{"issue":"3","key":"9_CR17","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1016\/j.tcs.2006.02.004","volume":"356","author":"I. Phillips","year":"2006","unstructured":"Phillips, I., Vigliotti, M.: Leader election in rings of ambient processes. Theoretical Computer Science\u00a0356(3), 468\u2013494 (2006)","journal-title":"Theoretical Computer Science"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-540-71389-0_22","volume-title":"Foundations of Software Science and Computational Structures","author":"J. Rathke","year":"2007","unstructured":"Rathke, J., Sassone, V., Sobocinski, P.: Semantic barbs and biorthogonality. In: Seidl, H. (ed.) FOSSACS 2007. LNCS, vol.\u00a04423, pp. 302\u2013316. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00945-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:58:43Z","timestamp":1558267123000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00945-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642009440","9783642009457"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00945-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}