{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T09:06:18Z","timestamp":1725872778760},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319502298"},{"type":"electronic","value":"9783319502304"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-50230-4_10","type":"book-chapter","created":{"date-parts":[[2016,11,30]],"date-time":"2016-11-30T08:31:26Z","timestamp":1480494686000},"page":"129-144","source":"Crossref","is-referenced-by-count":1,"title":["SPO-Rewriting of Constrained Partial Algebras"],"prefix":"10.1007","author":[{"given":"Michael","family":"L\u00f6we","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,1]]},"reference":[{"key":"10_CR1","series-title":"Mathematical Research","volume-title":"Introduction to Theory and Application of Partial Algebras - Part I","author":"P Burmeister","year":"1986","unstructured":"Burmeister, P.: Introduction to Theory and Application of Partial Algebras - Part I. Mathematical Research, vol. 32. Akademie-Verlag, Berlin (1986)"},{"issue":"1\u20132","key":"10_CR2","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/S0304-3975(97)00282-X","volume":"216","author":"P Burmeister","year":"1999","unstructured":"Burmeister, P., Monserrat, M., Rossell\u00f3, F., Valiente, G.: Algebraic transformation of unary partial algebras II: single-pushout approach. Theor. Comput. Sci. 216(1\u20132), 311\u2013362 (1999)","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20132","key":"10_CR3","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/S0304-3975(96)00139-9","volume":"184","author":"P Burmeister","year":"1997","unstructured":"Burmeister, P., Rossell\u00f3, F., Torrens, J., Valiente, G.: Algebraic transformation of unary partial algebras I: double-pushout approach. Theor. Comput. Sci. 184(1\u20132), 145\u2013193 (1997)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR4","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, Heidelberg (2006)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33654-6","volume-title":"Graph Transformations","year":"2012","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): ICGT 2012. LNCS, vol. 7562. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33654-6"},{"key":"10_CR6","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). doi: 10.1007\/978-3-540-30203-2_29"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-33654-6_13","volume-title":"Graph Transformations","author":"U Golas","year":"2012","unstructured":"Golas, U.: A general attribution concept for models in $$\\cal{M}$$ -adhesive transformation systems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 187\u2013202. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33654-6_13"},{"key":"10_CR8","doi-asserted-by":"crossref","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."},{"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, Universidad Carlos III de Madrid (2006)","key":"10_CR9"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-33654-6_15","volume-title":"Graph Transformations","author":"A Habel","year":"2012","unstructured":"Habel, A., Plump, D.: $$\\cal{M}$$ , $$\\cal{N}$$ -Adhesive Transformation Systems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 218\u2013233. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33654-6_15"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-642-15928-2_17","volume-title":"Graph Transformations","author":"T Heindel","year":"2010","unstructured":"Heindel, T.: Hereditary pushouts reconsidered. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 250\u2013265. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-15928-2_17"},{"key":"10_CR12","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. 532, pp. 490\u2013504. Springer, Heidelberg (1991). doi: 10.1007\/BFb0017408"},{"issue":"1&2","key":"10_CR13","doi-asserted-by":"crossref","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."},{"unstructured":"L\u00f6we, M.L: Algebraic systems, June 2015. http:\/\/ux-02.ha.bib.de\/daten\/Lowe\/Master\/TheorieInformationssystem\/Algebra20150606.pdf","key":"10_CR14"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-21145-9_1","volume-title":"Graph Transformation","author":"M L\u00f6we","year":"2015","unstructured":"L\u00f6we, M.: Polymorphic sesqui-pushout graph rewriting. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 3\u201318. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-21145-9_1"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-642-54804-8_25","volume-title":"Fundamental Approaches to Software Engineering","author":"M L\u00f6we","year":"2014","unstructured":"L\u00f6we, M., K\u00f6nig, H., Schulz, C.: Polymorphic single-pushout graph transformation. In: Gnesi, S., Rensink, A. (eds.) FASE 2014. LNCS, vol. 8411, pp. 355\u2013369. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54804-8_25"},{"key":"10_CR17","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.scico.2015.02.004","volume":"107\u2013108","author":"M L\u00f6we","year":"2015","unstructured":"L\u00f6we, M., K\u00f6nig, H., Schulz, C., Schultchen, M.: Algebraic graph transformations with inheritance and abstraction. Sci. Comput. Program. 107\u2013108, 2\u201318 (2015)","journal-title":"Sci. Comput. Program."},{"doi-asserted-by":"crossref","unstructured":"L\u00f6we, M., Tempelmeier, M.: On single-pushout rewriting of partial algebras. In: ECEASST, vol. 73 (2016)","key":"10_CR18","DOI":"10.1007\/978-3-319-50230-4_10"},{"unstructured":"Monserrat, M., Rossello, F., Torrens, J., Valiente, G.: Single pushout rewriting in categories of spans I: The general setting. Technical report LSI-97-23-R, Department de Llenguatges i Sistemes Informtics, Universitat Politcnica de Catalunya (1997)","key":"10_CR19"},{"unstructured":"Tempelmeier, M., L\u00f6we, M.: Single-pushout transformation partieller algebren. Technical report 2015\/1, FHDW-Hannover (2015). (in German)","key":"10_CR20"},{"key":"10_CR21","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-76771-5","volume-title":"Universal Algebra for Computer Scientists","author":"W Wechler","year":"1992","unstructured":"Wechler, W.: Universal Algebra for Computer Scientists. EATCS Monographs on Theoretical Computer Science, vol. 25. Springer, Heidelberg (1992)"}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-50230-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T23:28:00Z","timestamp":1568590080000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-50230-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319502298","9783319502304"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-50230-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}