{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:00:50Z","timestamp":1725796850741},"publisher-location":"Cham","reference-count":18,"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_14","type":"book-chapter","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T13:07:01Z","timestamp":1404479221000},"page":"207-221","source":"Crossref","is-referenced-by-count":2,"title":["Canonical Derivations with Negative Application Conditions"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Baldan, P., Corradini, A., Montanari, U., Rossi, F., Ehrig, H., L\u00f6we, M.: Concurrent Semantics of Algebraic Graph Transformations. In: Rozenberg, G. (ed.) The Handbook of Graph Grammars and Computing by Graph Transformations, Concurrency, Parallelism and Distribution, vol.\u00a03, pp. 107\u2013188. World Scientific (1999)","DOI":"10.1142\/9789812814951_0003"},{"key":"14_CR2","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)"},{"issue":"5","key":"14_CR3","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1016\/j.ic.2006.11.004","volume":"205","author":"P. Baldan","year":"2007","unstructured":"Baldan, P., Corradini, A., Montanari, U., Ribeiro, L.: Unfolding semantics of graph transformation. Inf. Comput.\u00a0205(5), 733\u2013782 (2007)","journal-title":"Inf. Comput."},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-642-37635-1_8","volume-title":"Recent Trends in Algebraic Development Techniques","author":"A. Corradini","year":"2013","unstructured":"Corradini, A., Heckel, R., Hermann, F., Gottmann, S., Nachtigall, N.: Transformation systems with incremental negative application conditions. In: Mart\u00ed-Oliet, N., Palomino, M. (eds.) WADT 2012. LNCS, vol.\u00a07841, pp. 127\u2013142. Springer, Heidelberg (2013)"},{"issue":"3\/4","key":"14_CR5","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"26","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae\u00a026(3\/4), 241\u2013265 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"14_CR6","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theor. Comp. Science. Springer (2006)"},{"key":"14_CR7","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":"1978","unstructured":"Ehrig, H.: Introduction to the algebraic theory of graph grammars (a survey). In: Claus, V., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol.\u00a073, pp. 1\u201369. Springer, Heidelberg (1978)"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/978-3-642-15928-2_23","volume-title":"Graph Transformations","author":"U. Golas","year":"2010","unstructured":"Golas, U., Ehrig, H., Habel, A.: Multi-amalgamation in adhesive categories. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol.\u00a06372, pp. 346\u2013361. Springer, Heidelberg (2010)"},{"issue":"3,4","key":"14_CR9","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. Fundamenta Informaticae\u00a026(3,4), 287\u2013313 (1996)","journal-title":"Fundamenta Informaticae"},{"issue":"5","key":"14_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":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-642-33654-6_14","volume-title":"Graph Transformations","author":"R. Heckel","year":"2012","unstructured":"Heckel, R.: DPO Transformation with Open Maps. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol.\u00a07562, pp. 203\u2013217. Springer, Heidelberg (2012)"},{"key":"14_CR12","unstructured":"Hermann, F.: Permutation equivalence of DPO derivations with negative application conditions based on Subobject Transformation Systems. ECEASST\u00a016 (2008)"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Hermann, F., Gottmann, S., Nachtigall, N., Braatz, B., Morelli, G., Pierre, A., Engel, T.: On an automated translation of satellite procedures using triple graph grammars. In: Duddy, K., Kappel, G. (eds.) ICMT 2013. LNCS, vol.\u00a07909, pp. 50\u201351. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-38883-5_4"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/3-540-18771-5_63","volume-title":"Graph-Grammars and Their Application to Computer Science","author":"H.J. Kreowski","year":"1987","unstructured":"Kreowski, H.J.: Is parallelism already concurrency? Part 1: Derivations in graph grammars. In: Ehrig, H., Nagl, M., Rosenfeld, A., Rozenberg, G. (eds.) Graph Grammars 1986. LNCS, vol.\u00a0291, pp. 343\u2013360. Springer, Heidelberg (1987)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Lack, S., Sobocinski, P.: Adhesive and quasiadhesive categories. ITA\u00a039(3) (2005)","DOI":"10.1051\/ita:2005028"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Lambers, L., Ehrig, H., Orejas, F., Prange, U.: Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. In: Proceedings of the ACCAT workshop at ETAPS 2007. ENTCS, vol.\u00a0203 \/ 6, pp. 43\u201366. Elsevier (2008)","DOI":"10.1016\/j.entcs.2008.10.042"},{"key":"14_CR17","unstructured":"Lambers, L.: Certifying Rule-Based Models using Graph Transformation. Ph.D. thesis. Technische Universit\u00e4t, Berlin (2009)"},{"issue":"1-2","key":"14_CR18","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(96)00215-0","volume":"186","author":"G. Taentzer","year":"1997","unstructured":"Taentzer, G.: Parallel high-level replacement systems. Theor. Comput. Sci.\u00a0186(1-2), 43\u201381 (1997)","journal-title":"Theor. Comput. Sci."}],"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_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,22]],"date-time":"2020-08-22T00:10:54Z","timestamp":1598055054000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09108-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091075","9783319091082"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09108-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}