{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:01:35Z","timestamp":1762459295443,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319211442"},{"type":"electronic","value":"9783319211459"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21145-9_1","type":"book-chapter","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T10:55:04Z","timestamp":1437044104000},"page":"3-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Polymorphic Sesqui-Pushout Graph Rewriting"],"prefix":"10.1007","author":[{"given":"Michael","family":"L\u00f6we","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,17]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Anjorin, A., Saller, K., Lochau, M., Sch\u00fcrr, A.: Modularizing triple graph grammars using rule refinement. In: Gnesi and Rensink [9], pp. 340\u2013354","DOI":"10.1007\/978-3-642-54804-8_24"},{"key":"1_CR2","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. 4178, pp. 30\u201345. Springer, Heidelberg (2006)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Danos, V., Heindel, T., Honorato-Zimmer, R., Stucki, S.: Reversible sesqui-pushout rewriting. In: Giese and K\u00f6nig [8], pp. 161\u2013176","DOI":"10.1007\/978-3-319-09108-2_11"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Duval, D., Echahed, R., Prost, F., Ribeiro, L.: Transformation of attributed structures with cloning. In: Gnesi and Rensink [9], pp. 310\u2013324","DOI":"10.1007\/978-3-642-54804-8_22"},{"key":"1_CR5","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, New York (2006)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Graph Transformations","year":"2010","unstructured":"Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.): ICGT 2010. LNCS, vol. 6372. Springer, Heidelberg (2010)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/978-3-540-30203-2_29","volume-title":"Graph Transformations","author":"AP L\u00fcdtke Ferreira","year":"2004","unstructured":"L\u00fcdtke Ferreira, A.P., Ribeiro, L.: Derivations in object-oriented graph grammars. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 416\u2013430. Springer, Heidelberg (2004)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Graph Transformation","year":"2014","unstructured":"Giese, H., K\u00f6nig, B. (eds.): ICGT 2014. LNCS, vol. 8571. Springer, Heidelberg (2014)"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Fundamental Approaches to Software Engineering","year":"2014","unstructured":"Gnesi, S., Rensink, A. (eds.): FASE 2014 (ETAPS). LNCS, vol. 8411. Springer, Heidelberg (2014)"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/j.tcs.2012.01.032","volume":"424","author":"U Golas","year":"2012","unstructured":"Golas, U., Lambers, L., Ehrig, H., Orejas, F.: Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs. Theor. Comput. Sci. 424, 46\u201368 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR11","unstructured":"Guerra, E., de Lara, J.: Attributed typed triple graph transformation with inheritance in the double pushout approach. Technical Report UC3M-TR-CS-06-01, Technical Report Universidad Carlos III de Madrid (2006)"},{"issue":"3\/4","key":"1_CR12","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundam. Inform. 26(3\/4), 287\u2013313 (1996)","journal-title":"Fundam. Inform."},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Hayman, J., Heindel, T.: On pushouts of partial maps. In: Giese and K\u00f6nig [8], pp. 177\u2013191","DOI":"10.1007\/978-3-319-09108-2_12"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Heindel, T.: Hereditary pushouts reconsidered. In: Ehrig et al.: [6], pp. 250\u2013265","DOI":"10.1007\/978-3-642-15928-2_17"},{"key":"1_CR15","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. 532, pp. 490\u2013504. Springer, Heidelberg (1990)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Klar, F., K\u00f6nigs, A., Sch\u00fcrr, A.: Model transformation in the large. In: Crnkovic, I., Bertolino, A. (eds.) ESEC\/SIGSOFT FSE, pp. 285\u2013294. ACM (2007)","DOI":"10.1145\/1287624.1287664"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Liskov, B.H., Wing, J.M.: Family values: a behavioral notion of subtyping. Technical Report CMU-CS-93-187-1, Carnegie Mellon University (1993)","DOI":"10.21236\/ADA259881"},{"issue":"1&2","key":"1_CR18","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. Theor. Comput. Sci. 109(1&2), 181\u2013224 (1993)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"L\u00f6we, M.: Graph rewriting in span-categories. In: Ehrig et al.: [6], pp. 218\u2013233","DOI":"10.1007\/978-3-642-15928-2_15"},{"key":"1_CR20","unstructured":"L\u00f6we, M.: Polymorphic sesqui-pushout graph transformation. Technical Report 2014\/02, FHDW-Hannover (ISSN 1863\u20137043) (2014)"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"L\u00f6we, M., K\u00f6nig, H., Schulz, C.: Polymorphic single-pushout graph transformation. In: Gnesi and Rensink [9], pp. 355\u2013369","DOI":"10.1007\/978-3-642-54804-8_25"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-642-41071-0_15","volume-title":"Formal Methods: Foundations and Applications","author":"M L\u00f6we","year":"2013","unstructured":"L\u00f6we, M., K\u00f6nig, H., Schulz, C., Schultchen, M.: Algebraic graph transformations with inheritance. In: Iyoda, J., de Moura, L. (eds.) SBMF 2013. LNCS, vol. 8195, pp. 211\u2013226. Springer, Heidelberg (2013)"},{"issue":"3","key":"1_CR23","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1090\/S0002-9947-1937-1501929-X","volume":"42","author":"HM MacNeille","year":"1937","unstructured":"MacNeille, H.M.: Partially ordered sets. Trans. Amer. Math. Soc. 42(3), 416\u2013460 (1937)","journal-title":"Trans. Amer. Math. Soc."}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21145-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T17:29:51Z","timestamp":1675272591000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21145-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319211442","9783319211459"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21145-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}