{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:59Z","timestamp":1762459019142},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336539"},{"type":"electronic","value":"9783642336546"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33654-6_15","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T03:47:41Z","timestamp":1347940061000},"page":"218-233","source":"Crossref","is-referenced-by-count":10,"title":["$\\mathcal M, \\mathcal N$ -Adhesive Transformation Systems"],"prefix":"10.1007","author":[{"given":"Annegret","family":"Habel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Detlef","family":"Plump","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-22993-0_8","volume-title":"Mathematical Foundations of Computer Science 2011","author":"P. Baldan","year":"2011","unstructured":"Baldan, P., Gadducci, F., Soboci\u0144ski, P.: Adhesivity Is Not Enough: Local Church-Rosser Revisited. In: Murlak, F., Sankowski, P. (eds.) MFCS 2011. LNCS, vol.\u00a06907, pp. 48\u201359. Springer, Heidelberg (2011)"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Corradini, A., Gadducci, F.: On term graphs as an adhesive category. In: Fern\u00e1ndez, M. (ed.) Proc. International Workshop on Term Graph Rewriting (TERMGRAPH 2004). Electronic Notes in Theoretical Computer Science, vol.\u00a0127(5), pp. 43\u201356 (2005)","DOI":"10.1016\/j.entcs.2005.02.014"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0025714","volume-title":"Graph-Grammars and Their Application to Computer Science and Biology","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H.: Introduction to the Algebraic Theory of Graph Grammars. In: Claus, V., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol.\u00a073, pp. 1\u201369. Springer, Heidelberg (1979)"},{"key":"15_CR4","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer (2006)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages, and Tools, vol.\u00a02. World Scientific (1999)","DOI":"10.1142\/4180"},{"key":"15_CR6","unstructured":"Ehrig, H., Golas, U., Habel, A., Lambers, L., Orejas, F.: $\\mathcal{M}$ -adhesive transformation systems with nested application conditions. Part 1: Parallelism, concurrency and amalgamation. Mathematical Structures in Computer Science (to appear, 2012)"},{"key":"15_CR7","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3233\/FI-2012-705","volume":"118","author":"H. Ehrig","year":"2012","unstructured":"Ehrig, H., Golas, U., Habel, A., Lambers, L., Orejas, F.: $\\mathcal{M}$ -adhesive transformation systems with nested application conditions. Part\u00a02: Embedding, critical pairs and local confluence. Fundamenta Informaticae\u00a0118, 35\u201363 (2012)","journal-title":"Fundamenta Informaticae"},{"key":"15_CR8","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":"15_CR9","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1017\/S0960129500001353","volume":"1","author":"H. Ehrig","year":"1991","unstructured":"Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F.: Parallelism and concurrency in high-level replacement systems. Mathematical Structures in Computer Science\u00a01, 361\u2013404 (1991)","journal-title":"Mathematical Structures in Computer Science"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation. Concurrency, Parallelism, and Distribution, vol.\u00a03. World Scientific (1999)","DOI":"10.1142\/4181"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/978-3-642-33654-6_13","volume-title":"ICGT 2012","author":"U. Golas","year":"2012","unstructured":"Golas, U.: A General Attribution Concept for Models in M-Adhesive Transformation Systems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol.\u00a07562, pp. 187\u2013202. Springer, Heidelberg (2012)"},{"issue":"5","key":"15_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":"15_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":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/3-540-45832-8_12","volume-title":"Graph Transformation","author":"A. Habel","year":"2002","unstructured":"Habel, A., Plump, D.: Relabelling in Graph Transformation. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 135\u2013147. Springer, Heidelberg (2002)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Habel, A., Plump, D.: $\\mathcal{M,N}$ -adhesive transformation systems (long version) (2012), http:\/\/formale-sprachen.informatik.uni-oldenburg.de\/pub\/index.html","DOI":"10.1007\/978-3-642-33654-6_15"},{"key":"15_CR16","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.\u00a06372, pp. 250\u2013265. Springer, Heidelberg (2010)"},{"issue":"3","key":"15_CR17","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. Informatique Th\u00e9orique et Applications\u00a039(3), 511\u2013545 (2005)","journal-title":"Informatique Th\u00e9orique et Applications"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-03564-7_6","volume-title":"Algebraic Informatics","author":"D. Plump","year":"2009","unstructured":"Plump, D.: The Graph Programming Language GP. In: Bozapalidis, S., Rahonis, G. (eds.) CAI 2009. LNCS, vol.\u00a05725, pp. 99\u2013122. Springer, Heidelberg (2009)"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Plump, D.: The design of GP 2. In: Escobar, S. (ed.) Proc. International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2011). Electronic Proceedings in Theoretical Computer Science, vol.\u00a082, pp. 1\u201316 (2012)","DOI":"10.4204\/EPTCS.82.0"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a01. World Scientific (1997)","DOI":"10.1142\/9789812384720"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33654-6_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,29]],"date-time":"2022-01-29T09:25:39Z","timestamp":1643448339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33654-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336539","9783642336546"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33654-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}