{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,4]],"date-time":"2026-01-04T02:52:37Z","timestamp":1767495157546},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319091075"},{"type":"electronic","value":"9783319091082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09108-2_11","type":"book-chapter","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T09:07:01Z","timestamp":1404464821000},"page":"161-176","source":"Crossref","is-referenced-by-count":8,"title":["Reversible Sesqui-Pushout Rewriting"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Danos","sequence":"first","affiliation":[]},{"given":"Tobias","family":"Heindel","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Honorato-Zimmer","sequence":"additional","affiliation":[]},{"given":"Sandro","family":"Stucki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-642-03741-2_24","volume-title":"Algebra and Coalgebra in Computer Science","author":"P. Baldan","year":"2009","unstructured":"Baldan, P., Corradini, A., Heindel, T., K\u00f6nig, B., Soboci\u0144ski, P.: Unfolding Grammars in Adhesive Categories. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol.\u00a05728, pp. 350\u2013366. Springer, Heidelberg (2009)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Braatz, B., Golas, U., Soboll, T.: How to delete categorically Two pushout complement constructions. Journal of Symbolic Computation\u00a046(3), 246\u2013271 (2011); Applied and Computational Category Theory","DOI":"10.1016\/j.jsc.2010.09.007"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1142\/9789812384720_0003","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"A. Corradini","year":"1997","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic Approaches to Graph Transformation. Part I: Basic Concepts and Double Pushout Approach. In: Handbook of Graph Grammars and Computing by Graph Transformation, pp. 163\u2013245. World Scientific Publishing Co., Inc., River Edge (1997)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/11841883_4","volume-title":"Graph Transformations","author":"A. Corradini","year":"2006","unstructured":"Corradini, A., Heindel, T., Hermann, F., K\u00f6nig, B.: Sesqui-pushout Rewriting. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 30\u201345. Springer, Heidelberg (2006)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Abstracting the differential semantics of rule-based models: Exact and automated model reduction. In: 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 362\u2013381 (July 2010)","DOI":"10.1109\/LICS.2010.44"},{"key":"11_CR6","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Hayman, J., Krivine, J., Thompson-Walsh, C.D., Winskel, G.: Graphs, rewriting and pathway reconstruction for rule-based models. In: D\u2019Souza, D., Kavitha, T., Radhakrishnan, J. (eds.) FSTTCS. LIPIcs, vol.\u00a018, pp. 276\u2013288. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2012)"},{"key":"11_CR7","unstructured":"Duval, D., Echahed, R., Prost, F.: Graph rewriting with polarized cloning. CoRR abs\/0911.3786 (2009)"},{"issue":"1-2","key":"11_CR8","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0022-4049(87)90124-1","volume":"49","author":"R. Dyckhoff","year":"1987","unstructured":"Dyckhoff, R., Tholen, W.: Exponentiable morphisms, partial products and pullback complements. Journal of Pure and Applied Algebra\u00a049(1-2), 103\u2013116 (1987)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"11_CR9","first-page":"111","volume":"102","author":"H. Ehrig","year":"2010","unstructured":"Ehrig, H., Golas, U., Hermann, F.: Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach. Bulletin of the EATCS\u00a0102, 111\u2013121 (2010)","journal-title":"Bulletin of the EATCS"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Habel, A., Lambers, L.: Parallelism and concurrency theorems for rules with nested application conditions. ECEASST 26 (2010)","DOI":"10.1007\/978-3-642-15928-2_22"},{"issue":"3","key":"11_CR11","first-page":"27","volume":"27","author":"R. Garner","year":"2012","unstructured":"Garner, R., Lack, S.: On the axioms for adhesive and quasiadhesive categories. Theory and Applications of Categories\u00a027(3), 27\u201346 (2012)","journal-title":"Theory and Applications of Categories"},{"issue":"5","key":"11_CR12","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1017\/S0960129501003425","volume":"11","author":"A. Habel","year":"2001","unstructured":"Habel, A., M\u00fcller, J., Plump, D.: Double-pushout Graph Transformation Revisited. Mathematical Structures in Computer Science\u00a011(5), 637\u2013688 (2001)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"2","key":"11_CR13","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A. Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Mathematical Structures in Computer Science\u00a019(2), 245\u2013296 (2009)","journal-title":"Mathematical Structures in Computer Science"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Hayman, J., Heindel, T.: Pattern graphs and rule-based models: The semantics of kappa. In: Pfenning, F. (ed.) FOSSACS 2013. LNCS, vol.\u00a07794, pp. 1\u201316. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-37075-5_1"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Heindel, T., Soboci\u0144ski, P.: Being Van Kampen is a universal property. Logical Methods in Computer Science 7(1) (2011)","DOI":"10.2168\/LMCS-7(1:14)2011"},{"issue":"3","key":"11_CR16","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1051\/ita:2005028","volume":"39","author":"S. Lack","year":"2005","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive and quasiadhesive categories. RAIRO \u2013 Theoretical Informatics and Applications\u00a039(3), 511\u2013545 (2005)","journal-title":"RAIRO \u2013 Theoretical Informatics and Applications"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-642-33654-6_8","volume-title":"Graph Transformations","author":"M. L\u00f6we","year":"2012","unstructured":"L\u00f6we, M.: Refined graph rewriting in span-categories: A framework for algebraic graph transformation. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol.\u00a07562, pp. 111\u2013125. Springer, Heidelberg (2012)"},{"key":"11_CR18","unstructured":"Monserrat, M., Rossell\u00f3, F., Torrens, J., Valiente, G.: Single-pushout rewriting in categories of spans\u00a0I: The general setting. Tech. rep., Informe d\u2019investigaci\u00f3, Department of Software (LSI) Universitat Polit\u00e8cnica de Catalunya (1997)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09108-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T03:19:03Z","timestamp":1558927143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09108-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091075","9783319091082"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09108-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}