{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:00:03Z","timestamp":1762459203655},"publisher-location":"Cham","reference-count":19,"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_12","type":"book-chapter","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T13:07:01Z","timestamp":1404479221000},"page":"177-191","source":"Crossref","is-referenced-by-count":4,"title":["On Pushouts of Partial Maps"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Hayman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Heindel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1&2","key":"12_CR1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we, M.: Algebraic Approach to Single-Pushout Graph Transformation. Theoretical Computer Science\u00a0109(1&2), 181\u2013224 (1993)","journal-title":"Theoretical Computer Science"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph-Grammars: An Algebraic Approach. In: IEEE Computer Society SWAT (FOCS), pp. 167\u2013180 (1973)","DOI":"10.1109\/SWAT.1973.11"},{"key":"12_CR3","doi-asserted-by":"crossref","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: Handbook of Graph Grammars, pp. 247\u2013312 (1997)","DOI":"10.1142\/9789812384720_0004"},{"key":"12_CR4","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"},{"issue":"2","key":"12_CR5","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":"12_CR6","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":"12_CR7","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":"1991","unstructured":"Kennaway, R.: Graph rewriting in some categories of partial morphisms. In: Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Graph Grammars 1990. LNCS, vol.\u00a0532, pp. 490\u2013504. Springer, Heidelberg (1991)"},{"issue":"1-2","key":"12_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2012-704","volume":"118","author":"T. Heindel","year":"2012","unstructured":"Heindel, T.: Adhesivity with Partial Maps instead of Spans. Fundama Informaticae\u00a0118(1-2), 1\u201333 (2012)","journal-title":"Fundama Informaticae"},{"key":"12_CR9","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":"12_CR10","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Hayman, J., Krivine, J., Thompson-Walsh, C., Winskel, G.: Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. In: D\u2019Souza, D., Radhakrishnan, J., Telikepalli, K. (eds.) FSTTCS 2012. LIPIcs (2012)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Plump, D.: Term graph rewriting. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, II: Applications, Languages and Tools, pp. 3\u201361. World Scientific (1999)","DOI":"10.1142\/9789812815149_0001"},{"issue":"5","key":"12_CR12","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.entcs.2005.02.014","volume":"127","author":"A. Corradini","year":"2005","unstructured":"Corradini, A., Gadducci, F.: On term graphs as an adhesive category. Electronic Notes Theorertic Computer Science\u00a0127(5), 43\u201356 (2005)","journal-title":"Electronic Notes Theorertic Computer Science"},{"issue":"2","key":"12_CR13","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"},{"key":"12_CR14","unstructured":"Monserrat, M., Rossell\u00f3, F., Torrens, J., Valiente, G.: Single-pushout rewriting in categories of spans I: The general setting. Informe d\u2019investigaci\u00f3, Department of Software (LSI) Universitat Polit\u00e8cnica de Catalunya (May 1997)"},{"key":"12_CR15","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. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol.\u00a07562, pp. 111\u2013125. Springer, Heidelberg (2012)"},{"key":"12_CR16","unstructured":"Heindel, T.: A Category Theoretical Approach to the Concurrent Semantics of Rewriting \u2013 Adhesive Categories and Related Concepts. PhD thesis. Universit\u00e4t Duiburg-Essen (2009)"},{"key":"12_CR17","unstructured":"Ad\u00e1mek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories \u2013 The Joy of Cats. Dover Publications (2009)"},{"key":"12_CR18","unstructured":"Dixon, L., Kissinger, A.: Open graphs and monoidal theories. CoRR abs\/1011.4114 (2010)"},{"key":"12_CR19","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)"}],"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_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,22]],"date-time":"2020-08-22T00:11:10Z","timestamp":1598055070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09108-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091075","9783319091082"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09108-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}