{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:27:06Z","timestamp":1725470826389},"publisher-location":"Berlin, Heidelberg","reference-count":10,"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_14","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T03:47:41Z","timestamp":1347940061000},"page":"203-217","source":"Crossref","is-referenced-by-count":7,"title":["DPO Transformation with Open Maps"],"prefix":"10.1007","author":[{"given":"Reiko","family":"Heckel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-540-31988-7_3","volume-title":"Graph-Based Representations in Pattern Recognition","author":"D. Blostein","year":"2005","unstructured":"Blostein, D.: Graph Transformation in Document Image Analysis: Approaches and Challenges. In: Brun, L., Vento, M. (eds.) GbRPR 2005. LNCS, vol.\u00a03434, pp. 23\u201334. Springer, Heidelberg (2005)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Corradini, A., Heckel, R., Hermann, F., Gottmann, S., Nachtigall, N.: On the concurrent semantics of transformation systems with negative application conditions. In: Workshop on Algebraic Development Techniques, WADT 2012, Salamanca, Spain (2012) (Presentation and abstract)","DOI":"10.1007\/978-3-642-37635-1_8"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Abstracting the differential semantics of rule-based models: Exact and automated model reduction. In: LICS, pp. 362\u2013381. IEEE Computer Society (2010)","DOI":"10.1109\/LICS.2010.44"},{"key":"14_CR4","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Comp. Sci. Springer (2006)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M., Schneider, H.: Graph grammars: an algebraic approach. In: 14th IEEE Symp. on Switching and Automata Theory, pp. 167\u2013180. IEEE (1973)","DOI":"10.1109\/SWAT.1973.11"},{"issue":"1","key":"14_CR6","first-page":"135","volume":"74","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Habel, A., Pennemann, K.H.: Theory of constraints and application conditions: From graphs to high-level structures. Fundam. Inf.\u00a074(1), 135\u2013166 (2006)","journal-title":"Fundam. Inf."},{"issue":"3,4","key":"14_CR7","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":"2","key":"14_CR8","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1006\/inco.1996.0057","volume":"127","author":"A. Joyal","year":"1996","unstructured":"Joyal, A., Nielsen, M., Winskel, G.: Bisimulation from open maps. Inf. Comput.\u00a0127(2), 164\u2013185 (1996)","journal-title":"Inf. Comput."},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-540-24727-2_20","volume-title":"Foundations of Software Science and Computation Structures","author":"S. Lack","year":"2004","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive Categories. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 273\u2013288. Springer, Heidelberg (2004)"},{"issue":"6","key":"14_CR10","first-page":"43","volume":"203","author":"L. Lambers","year":"2008","unstructured":"Lambers, L., Ehrig, H., Prange, U., Orejas, F.: Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions. ENTCS\u00a0203(6), 43\u201366 (2008)","journal-title":"ENTCS"}],"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_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:17:47Z","timestamp":1620130667000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33654-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336539","9783642336546"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33654-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}