{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:03:51Z","timestamp":1725455031854},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642334740"},{"type":"electronic","value":"9783642334757"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33475-7_10","type":"book-chapter","created":{"date-parts":[[2012,9,8]],"date-time":"2012-09-08T06:43:09Z","timestamp":1347086589000},"page":"134-148","source":"Crossref","is-referenced-by-count":1,"title":["A Modular LTS for Open Reactive Systems"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Gadducci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giacoma Valentina","family":"Monreale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","first-page":"73","volume-title":"EXPRESS 2008. ENTCS","author":"F. Bonchi","year":"2009","unstructured":"Bonchi, F., Gadducci, F., Monreale, G.V.: Labelled Transitions for Mobile Ambients (As Synthesized Via a Graphical Encoding). In: EXPRESS 2008. ENTCS, vol.\u00a0242(1), pp. 73\u201398. Elsevier, Amsterdam (2009)"},{"key":"10_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.V.: 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":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/11539452_24","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Gadducci, F., Montanari, U., Soboci\u0144ski, P.: Deriving Weak Bisimulation Congruences from Reduction Systems. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 293\u2013307. Springer, Heidelberg (2005)"},{"issue":"1","key":"10_CR4","first-page":"53","volume":"12","author":"R. Bruni","year":"2002","unstructured":"Bruni, R., Meseguer, J., Montanari, U.: Symmetric Monoidal and Cartesian Double Categories as a Semantics Framework for tile Logic. MSCS\u00a012(1), 53\u201390 (2002)","journal-title":"MSCS"},{"issue":"1","key":"10_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"},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"133","DOI":"10.7551\/mitpress\/5641.003.0010","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"F. Gadducci","year":"2000","unstructured":"Gadducci, F., Montanari, U.: The Tile Model. In: Proof, Language and Interaction: Essays in Honour of Robin Milner, pp. 133\u2013166. MIT Press, Cambridge (2000)"},{"key":"10_CR7","series-title":"LNM","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/BFb0063101","volume-title":"Sydney Category Seminar","author":"G.M. Kelly","year":"1974","unstructured":"Kelly, G.M., Street, R.: Review of the Elements of 2-Categories. In: Sydney Category Seminar. LNM, vol.\u00a0420, pp. 75\u2013103. Springer, Heidelberg (1974)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/11548133_2","volume-title":"Algebra and Coalgebra in Computer Science","author":"B. Klin","year":"2005","unstructured":"Klin, B., Sassone, V., Soboci\u0144ski, P.: Labels from Reductions: Towards a General Theory. In: Fiadeiro, J.L., Harman, N.A., Roggenbach, M., Rutten, J. (eds.) CALCO 2005. LNCS, vol.\u00a03629, pp. 30\u201350. Springer, Heidelberg (2005)"},{"key":"10_CR9","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.J. Leifer","year":"2000","unstructured":"Leifer, J.J., Milner, R.: Deriving Bisimulation Congruences for Reactive Systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 243\u2013258. Springer, Heidelberg (2000)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1090\/S0002-9904-1965-11234-4","volume":"71","author":"S. MacLane","year":"1965","unstructured":"MacLane, S.: Categorical Algebra. Bull. Amer. Math. Soc.\u00a071, 40\u2013106 (1965)","journal-title":"Bull. Amer. Math. Soc."},{"issue":"6","key":"10_CR11","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. Journal of the ACM\u00a052(6), 961\u20131023 (2005)","journal-title":"Journal of the ACM"},{"issue":"1","key":"10_CR12","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional Rewriting Logic as a Unified Model of Concurrency. TCS\u00a096(1), 73\u2013155 (1992)","journal-title":"TCS"},{"key":"10_CR13","series-title":"LNM","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BFb0072309","volume-title":"Midwest Category Seminar","author":"P.H. Palmquist","year":"1971","unstructured":"Palmquist, P.H.: The Double Category of Adjoint Squares. In: Midwest Category Seminar. LNM, vol.\u00a0195, pp. 123\u2013153. Springer, Heidelberg (1971)"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/BFb0018358","volume-title":"Category Theory and Computer Science","author":"A.J. Power","year":"1989","unstructured":"Power, A.J.: An Abstract Formulation for Rewrite Systems. In: Dybjer, P., Pitts, A.M., Pitt, D.H., Poign\u00e9, A., Rydeheard, D.E. (eds.) CTCS 1989. LNCS, vol.\u00a0389, pp. 300\u2013312. Springer, Heidelberg (1989)"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1007\/978-3-540-85361-9_36","volume-title":"CONCUR 2008 - Concurrency Theory","author":"J. Rathke","year":"2008","unstructured":"Rathke, J., Soboci\u0144ski, P.: 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)"},{"issue":"2","key":"10_CR16","first-page":"163","volume":"10","author":"V. Sassone","year":"2003","unstructured":"Sassone, V., Sobocinski, P.: Deriving Bisimulation Congruences Using 2-Categories. Nordic Journal of Computing\u00a010(2), 163\u2013183 (2003)","journal-title":"Nordic Journal of Computing"}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33475-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T01:21:05Z","timestamp":1714353665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33475-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642334740","9783642334757"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33475-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}