{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:53:51Z","timestamp":1762458831248},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_17","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T14:32:34Z","timestamp":1284993154000},"page":"250-265","source":"Crossref","is-referenced-by-count":18,"title":["Hereditary Pushouts Reconsidered"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Heindel","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","volume-title":"Abstract and concrete categories: the joy of cats","author":"J. Ad\u00e1mek","year":"1990","unstructured":"Ad\u00e1mek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories: the joy of cats. Wiley, Chichester (1990)"},{"key":"17_CR2","unstructured":"de Mol, M., Rensink, A.: On a graph formalism for ordered edges. In: International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT (to appear 2010)"},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1142\/9789812384720_0004","volume-title":"Handbook of Graph Grammars","author":"H. Ehrig","year":"1997","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation \u2013 part ii: Single pushout approach and comparison with double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars, pp. 247\u2013312. World Scientific, Singapore (1997)"},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1002\/mana.19790910111","volume":"91","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H., Kreowski, H.-J.: Pushout-properties: An analysis of gluing constructions for graphs. Mathematische Nachrichten\u00a091, 135\u2013149 (1979)","journal-title":"Mathematische Nachrichten"},{"issue":"1","key":"17_CR5","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BF00872984","volume":"1","author":"H. Ehrig","year":"1993","unstructured":"Ehrig, H., L\u00f6we, M.: Categorical principles, techniques and results for high-level-replacement systems in computer science. Applied Categorical Structures\u00a01(1), 21\u201350 (1993)","journal-title":"Applied Categorical Structures"},{"issue":"1","key":"17_CR6","first-page":"1","volume":"74","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Padberg, J., Prange, U., Habel, A.: Adhesive high-level replacement systems: A new categorical framework for graph transformation. Fundamenta Informaticae\u00a074(1), 1\u201329 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: An algebraic approach. In: 14th Annual Symposium on Switching and Automata Theory, Institute of Electrical and Electronics Engineers, pp. 167\u2013180 (1973)","DOI":"10.1109\/SWAT.1973.11"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/11780274_13","volume-title":"Algebra, Meaning, and Computation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Prange, U.: Weak adhesive high-level replacement categories and systems: A unifying framework for graph and Petri net transformations. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning, and Computation. LNCS, vol.\u00a04060, pp. 235\u2013251. Springer, Heidelberg (2006)"},{"key":"17_CR9","volume-title":"Categories Allegories","author":"P.J. Freyd","year":"1990","unstructured":"Freyd, P.J., Scedrov, A.: Categories Allegories. North-Holland, Amsterdam (1990)"},{"issue":"5","key":"17_CR10","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"},{"key":"17_CR11","unstructured":"Heindel, T.: A Category Theoretical Approach to the Concurrent Semantics of Rewriting \u2013 Adhesive Categories and Related Concepts. PhD thesis, Universit\u00e4t Duisburg-Essen (2009)"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-642-03741-2_23","volume-title":"Algebra and Coalgebra in Computer Science","author":"T. Heindel","year":"2009","unstructured":"Heindel, T., Sobocinski, P.: Van Kampen colimits as bicolimits in span. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol.\u00a05728, pp. 335\u2013349. Springer, Heidelberg (2009)"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-540-73859-6_21","volume-title":"Algebra and Coalgebra in Computer Science","author":"P.T. Johnstone","year":"2007","unstructured":"Johnstone, P.T., Lack, S., Soboci\u0144ski, P.: Quasitoposes, quasiadhesive categories and artin glueing. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol.\u00a04624, pp. 312\u2013326. Springer, Heidelberg (2007)"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/BFb0017408","volume-title":"Graph-Grammars and Their Application to Computer Science","author":"R. Kennaway","year":"1990","unstructured":"Kennaway, R.: Graph rewriting in some categories of partial morphisms. In: Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Graph-Grammars and Their Application to Computer Science. LNCS, vol.\u00a0532, pp. 490\u2013504. Springer, Heidelberg (1990)"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-540-24727-2_20","volume-title":"Foundations of Software Science and Computation Structures","author":"S. Lack","year":"2004","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive categories. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 273\u2013288. Springer, Heidelberg (2004)"},{"issue":"2","key":"17_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. Theoretical Informatics and Applications\u00a039(2), 511\u2013546 (2005)","journal-title":"Theoretical Informatics and Applications"},{"key":"17_CR17","series-title":"Graduate Texts in Mathematics","volume-title":"Categories for the Working Mathematician","author":"S.M. Lane","year":"1998","unstructured":"Lane, S.M.: Categories for the Working Mathematician. Graduate Texts in Mathematics, vol.\u00a05. Springer, Heidelberg (1998)"},{"key":"17_CR18","unstructured":"Padberg, J.: Survey of high-level replacement systems. Technical report, Technische Universit\u00e4t Berlin (1993)"},{"key":"17_CR19","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic Category Theory for Computer Scientists","author":"B.C. Pierce","year":"1991","unstructured":"Pierce, B.C.: Basic Category Theory for Computer Scientists. MIT Press, Cambridge (1991)"},{"key":"17_CR20","first-page":"1","volume":"2","author":"U. Prange","year":"2007","unstructured":"Prange, U.: Algebraic High-Level Nets as Weak Adhesive HLR Categories. Electronic Communications of the EASST\u00a02, 1\u201313 (2007)","journal-title":"Electronic Communications of the EASST"},{"issue":"2","key":"17_CR21","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90034-X","volume":"79","author":"E. Robinson","year":"1988","unstructured":"Robinson, E., Rosolini, G.: Categories of partial maps. Information and Computation\u00a079(2), 95\u2013130 (1988)","journal-title":"Information and Computation"}],"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_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:42:43Z","timestamp":1606185763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15928-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642159275","9783642159282"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15928-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}