{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T00:41:08Z","timestamp":1794357668915,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540853602","type":"print"},{"value":"9783540853619","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85361-9_36","type":"book-chapter","created":{"date-parts":[[2008,8,18]],"date-time":"2008-08-18T08:28:04Z","timestamp":1219048084000},"page":"462-476","source":"Crossref","is-referenced-by-count":15,"title":["Deriving Structural Labelled Transitions for Mobile Ambients"],"prefix":"10.1007","author":[{"given":"Julian","family":"Rathke","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pawe\u0142","family":"Soboci\u0144ski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"2","key":"36_CR1","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/S0304-3975(97)00223-5","volume":"195","author":"R. Amadio","year":"1998","unstructured":"Amadio, R., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous pi-calculus. Theor. Comput. Sci.\u00a0195(2), 291\u2013324 (1998)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"36_CR2","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J. Bergstra","year":"1985","unstructured":"Bergstra, J., Klop, J.: Algebra of communicating processes with abstraction. Theor. Comput. Sci.\u00a037(1), 77\u2013121 (1985)","journal-title":"Theor. Comput. Sci."},{"key":"36_CR3","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1016\/j.ic.2007.01.001","volume":"205","author":"M. Bugliesi","year":"2007","unstructured":"Bugliesi, M., Crafa, S., Merro, M., Sassone, V.: Communication interference in mobile boxed ambients. Information and Computation\u00a0205, 1235\u20131273 (2007)","journal-title":"Information and Computation"},{"key":"36_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.: 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":"36_CR5","unstructured":"Cardelli, L., Gordon, A.: A commitment relation for the ambient calculus (unpublished notes, 1996)"},{"key":"36_CR6","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1145\/292540.292550","volume-title":"Proc. POPL","author":"L. Cardelli","year":"1999","unstructured":"Cardelli, L., Gordon, A.: Types for mobile ambients. In: Proc. POPL, pp. 79\u201392. ACM Press, New York (1999)"},{"issue":"1","key":"36_CR7","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"},{"issue":"3","key":"36_CR8","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1017\/S0960129502003742","volume":"13","author":"L. Cardelli","year":"2003","unstructured":"Cardelli, L., Gordon, A.: Equational properties of mobile ambients. Math. Struct. Comput. Sci.\u00a013(3), 371\u2013408 (2003)","journal-title":"Math. Struct. Comput. Sci."},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"Engberg, U., Nielsen, M.: A calculus of communicating systems with label passing. Technical Report DAIMI PB-208, University of Aarhus (May 1986)","DOI":"10.7146\/dpb.v15i208.7559"},{"issue":"8","key":"36_CR10","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/s00236-007-0038-z","volume":"43","author":"Y. Fu","year":"2007","unstructured":"Fu, Y.: Fair ambients. Acta Inf.\u00a043(8), 535\u2013594 (2007)","journal-title":"Acta Inf."},{"key":"36_CR11","first-page":"1","volume":"17","author":"P. Garralda","year":"2007","unstructured":"Garralda, P., Bonelli, E., Compagnoni, A., Dezani-Ciancaglini, M.: Boxed Ambients with Communication Interfaces. MSCS\u00a017, 1\u201359 (2007)","journal-title":"MSCS"},{"issue":"2","key":"36_CR12","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1145\/1119479.1119482","volume":"28","author":"M. Hennessy","year":"2006","unstructured":"Hennessy, M., Merro, M.: Bisimulation congruences in safe ambients. ACM Transactions on Programming Languages and Systems\u00a028(2), 290\u2013330 (2006)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"36_CR13","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.jlap.2007.02.003","volume":"71","author":"D. Hirschkoff","year":"2007","unstructured":"Hirschkoff, D., Pous, D., Sangiorgi, D.: An efficient abstract machine for safe ambients. J. Logic and Algebraic Programming\u00a071, 114\u2013149 (2007)","journal-title":"J. Logic and Algebraic Programming"},{"key":"36_CR14","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"36_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BFb0057019","volume-title":"ECOOP \u201991 European Conference on Object-Oriented Programming","author":"K. Honda","year":"1991","unstructured":"Honda, K., Tokoro, M.: An object calculus for asynchronous communication. In: America, P. (ed.) ECOOP 1991. LNCS, vol.\u00a0512, pp. 133\u2013147. Springer, Heidelberg (1991)"},{"key":"36_CR16","unstructured":"Jensen, O., Milner, R.: Bigraphs and mobile processes. Technical Report 570, Computer Laboratory. University of Cambridge (2003)"},{"key":"36_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-44618-4_19","volume-title":"CONCUR 2000 - Concurrency Theory","author":"J. Leifer","year":"2000","unstructured":"Leifer, J., Milner, R.: Deriving bisimulation congruences for reactive systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 243\u2013258. Springer, Heidelberg (2000)"},{"issue":"6","key":"36_CR18","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1145\/1101821.1101825","volume":"52","author":"M. Merro","year":"2005","unstructured":"Merro, M., Nardelli, F.Z.: Behavioural theory for mobile ambients. J. ACM\u00a052(6), 961\u20131023 (2005)","journal-title":"J. ACM"},{"key":"36_CR19","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":"36_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"issue":"1","key":"36_CR21","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0890-5401(92)90009-5","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, II. Inf. Comput.\u00a0100(1), 41\u201377 (1992)","journal-title":"Inf. Comput."},{"key":"36_CR22","unstructured":"Phillips, A.: Specifying and Implementing Secure Mobile Applications in the Channel Ambient System. PhD thesis, Imperial College London (April 2006)"},{"key":"36_CR23","unstructured":"Plotkin, G.: A structural approach to operational semantics. Technical Report FN-19, DAIMI, Computer Science Department, Aarhus University (1981)"},{"key":"36_CR24","doi-asserted-by":"crossref","unstructured":"Rathke, J., Soboci\u0144ski, P.: Deconstructing behavioural theories of mobility. In: Proc. IFIP TCS 5th International Conference on Theoretical Computer Science. Springer Science and Business Media (to appear, 2008)","DOI":"10.1007\/978-0-387-09680-3_34"},{"key":"36_CR25","series-title":"ENTCS","volume-title":"Proc. ICE 2008","author":"J. Rathke","year":"2008","unstructured":"Rathke, J., Soboci\u0144ski, P.: Making the unobservable unobservable. In: Proc. ICE 2008. ENTCS. Elsevier, Amsterdam (to appear, 2008)"},{"issue":"1-2","key":"36_CR26","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S0304-3975(00)00309-1","volume":"274","author":"P. Sewell","year":"2002","unstructured":"Sewell, P.: From rewrite rules to bisimulation congruences. Theor. Comput. Sci.\u00a0274(1-2), 183\u2013230 (2002); Extended version of Concur 1998 conference paper","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","CONCUR 2008 - Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85361-9_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T07:47:33Z","timestamp":1557733653000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85361-9_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540853602","9783540853619"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85361-9_36","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-540-85361-9","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}