{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:55:38Z","timestamp":1725566138760},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642159275"},{"type":"electronic","value":"9783642159282"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15928-2_33","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T14:32:34Z","timestamp":1284993154000},"page":"403-406","source":"Crossref","is-referenced-by-count":0,"title":["LTS Semantics for Process Calculi from Their Graphical Encodings"],"prefix":"10.1007","author":[{"given":"Giacoma Valentina","family":"Monreale","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/11841883_13","volume-title":"Graph Transformations","author":"F. Bonchi","year":"2006","unstructured":"Bonchi, F., Gadducci, F., K\u00f6nig, B.: Process bisimulation via a graphical encoding. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 168\u2013183. Springer, Heidelberg (2006)"},{"key":"33_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-642-00596-1_20","volume-title":"Foundations of Software Science and Computational Structures","author":"F. Bonchi","year":"2009","unstructured":"Bonchi, F., Gadducci, F., Monreale, G.: Reactive systems, barbed semantics, and the mobile ambients. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol.\u00a05504, pp. 272\u2013287. Springer, Heidelberg (2009)"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Gadducci, F., Monreale, G.V.: Labelled transitions for mobile ambients. In: EXPRESS 2008. ENTCS, vol.\u00a0242(1), pp. 73\u201398 (2009)","DOI":"10.1016\/j.entcs.2009.06.014"},{"key":"33_CR4","series-title":"Lecture Notes in Computer Science","first-page":"122","volume-title":"ICGT 2010","author":"F. Bonchi","year":"2010","unstructured":"Bonchi, F., Gadducci, F., Monreale, G.V., Montanari, U.: Saturated LTSs for Adhesive Rewriting Systems. In: Ehrig, H., et al. (eds.) ICGT 2010. LNCS, vol.\u00a06372, pp. 122\u2013137. Springer, Heidelberg (2010)"},{"issue":"1","key":"33_CR5","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. TCS\u00a0240(1), 177\u2013213 (2000)","journal-title":"TCS"},{"issue":"6","key":"33_CR6","first-page":"1133","volume":"16","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., K\u00f6nig, B.: Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. MSCS\u00a016(6), 1133\u20131163 (2006)","journal-title":"MSCS"},{"issue":"3","key":"33_CR7","first-page":"407","volume":"17","author":"F. Gadducci","year":"2007","unstructured":"Gadducci, F.: Graph rewriting for the \u03c0-calculus. MSCS\u00a017(3), 407\u2013437 (2007)","journal-title":"MSCS"},{"key":"33_CR8","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., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 115\u2013130. Springer, Heidelberg (2008)"},{"key":"33_CR9","series-title":"ENTCS","volume-title":"MFPS 2001","author":"F. Gadducci","year":"2001","unstructured":"Gadducci, F., Montanari, U.: A concurrent graph semantics for mobile ambients. In: MFPS 2001. ENTCS, vol.\u00a045. Elsevier, Amsterdam (2001)"},{"key":"33_CR10","unstructured":"Grohmann, D., Miculan, M.: Deriving barbed bisimulations for bigraphical reactive systems. In: ICGT 2008 - Doctoral Symposium. ECEASST, EASST, vol.\u00a016 (2008)"},{"key":"33_CR11","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":"33_CR12","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1145\/1101821.1101825","volume":"52","author":"M. Merro","year":"2005","unstructured":"Merro, M., Zappa Nardelli, F.: Behavioral theory for mobile ambients. JACM\u00a052(6), 961\u20131023 (2005)","journal-title":"JACM"},{"key":"33_CR13","series-title":"Lecture Notes in Computer Science","first-page":"462","volume-title":"CONCUR 2008 - Concurrency Theory","author":"P. Soboci\u0144ski","year":"2008","unstructured":"Soboci\u0144ski, P., Rathke, J.: Deriving structural labelled transitions for mobile ambients. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 462\u2013476. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15928-2_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:42:48Z","timestamp":1606185768000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15928-2_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642159275","9783642159282"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15928-2_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}