{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:21Z","timestamp":1761611301318},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540577874"},{"type":"electronic","value":"9783540483335"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57787-4_10","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T08:22:04Z","timestamp":1330244524000},"page":"153-169","source":"Crossref","is-referenced-by-count":2,"title":["Canonical derivations for high-level replacement systems"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"Hans -J\u00f6rg","family":"Kreowski","sequence":"additional","affiliation":[]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"10_CR1","unstructured":"Corradini, A.; Ehrig, H.; L\u00f6we, M.; Montanari, U.; Rossi, F.: Abstract graph derivations in the double pushout approach, this volume"},{"key":"10_CR2","unstructured":"Diaconescu, R.; Goguen, J.; Stefaneas, P.: Logical Support for Modularisation, in Proc. ADT\/COMPASS Workshop 1991, Springer LNCS 655 (1992)"},{"key":"10_CR3","doi-asserted-by":"crossref","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, Math. Struct. in Comp. Science 1 (1991), 361\u2013404","journal-title":"Math. Struct. in Comp. Science"},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BFb0017395","volume":"532","author":"H. Ehrig","year":"1991","unstructured":"Ehrig, H.; Habel, A.; Kreowski, H.-J.; Parisi-Presicce, F.: From Graph Grammars to High-Level Replacement Systems, Proc. 4th Int. Workshop on Graph Grammars and Their Applications to Computer Science, Springer LNCS 532 (1991), 269\u2013291","journal-title":"Proc. 4th Int. Workshop on Graph Grammars and Their Applications to Computer Science, Springer LNCS"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0025714","volume":"73","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H.: Introduction to the Algebraic Theory of Graph Grammars (A Survey) in: Graph Grammars and Their Application to Computer Science and Biology, Springer LNCS 73, (1979), 1\u201369","journal-title":"Graph Grammars and Their Application to Computer Science and Biology, Springer LNCS"},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1002\/mana.19790910111","volume":"91","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H.; Kreowski, H.-J.: Pushout Properties: An Analysis of Gluing Constructions for Graphs, Math. Nachrichten 91 (1979), 135\u2013149","journal-title":"Math. Nachrichten"},{"key":"10_CR7","unstructured":"Ehrig, H.; Kreowski, H.-J.; Taentzer, G.: Canonical Derivations for High-level Replacement Systems, Computer Science Report no.6\/92, University of Bremen, 1992"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF01752403","volume":"14","author":"H. Ehrig","year":"1981","unstructured":"Ehrig, H.; Kreowski, H.-J.; Maggiolo-Schettini, A.; Rosen, B.; Winkowski, J.: Transformation of Structures: An Algebraic Approach, Math. Syst. Theory 14 (1981), 305\u2013334","journal-title":"Math. Syst. Theory"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 1 \u2014 Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer (1985)","DOI":"10.1007\/978-3-642-69962-7"},{"key":"10_CR10","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/BFb0017396","volume":"532","author":"H. Ehrig","year":"1991","unstructured":"H. Ehrig, F. Parisi-Presicce: Algebraic Specification Grammars: A Junction Between Module Specifications and Graph Grammars, Proc. 4th Int. Workshop on Graph Grammars and Application to Computer Science, Springer LNCS 532(1991), 292\u2013310","journal-title":"Proc. 4th Int. Workshop on Graph Grammars and Application to Computer Science, Springer LNCS"},{"key":"10_CR11","unstructured":"H. Ehrig, F. Parisi-Presicce: Nonequivalence of Categories for Equational Algebraic Specifications in View of High-Level-Replacement Systems, Techn. Report No 91-16, TU Berlin, FB 20, 1991"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Parisi-Presicce, F.: Interaction between Algebraic Specification Grammars and Modular System Design, Proc. AMAST'93","DOI":"10.1007\/978-1-4471-3227-1_22"},{"key":"10_CR13","unstructured":"Kreowski, H.-J.: Kanonische Ableitungssequenzen f\u00fcr Graphgrammatiken, Techn. Report No. 76-26, TU Berlin, FB 20, 1976"},{"key":"10_CR14","unstructured":"Kreowski, H.-J.: Manipulation von Graph Transmanipulationen, PhD Thesis, TU Berlin, 1977"},{"key":"10_CR15","first-page":"171","volume":"116","author":"T. Maibaum","year":"1985","unstructured":"Maibaum, T.; Sadler, M.: Axiomatizing Specification Theory, Proc. 3rd ADT-Workshop, Bremen, 1984, Informatik-Fachberichte 116 (1985), 171\u2013177","journal-title":"Proc. 3rd ADT-Workshop, Bremen, 1984, Informatik-Fachberichte"},{"key":"10_CR16","first-page":"214","volume":"2","author":"T. S. E. E. Maibaum","year":"1985","unstructured":"Maibaum, T.S.E.; Veloso, P.A.S.; Sadler, M.R.: A Theory of Abstract Data Types for Program Development: Bridging the Gap? Proc. TAPSOFT'85, Vol 2, Springer LNCS 186 (1985), 214\u2013230","journal-title":"Proc. TAPSOFT'85"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Parisi-Presicce, F.: Foundations of Rule-Based Design of Modular Systems, TCS 83, No. 1 (1991)","DOI":"10.1016\/0304-3975(91)90042-Z"},{"key":"10_CR18","unstructured":"Padberg, J.; Ehrig, H.; Ribeiro, L.: Algebraic High-Level Net Transformation Systems, Techn. Report No. 93-12, TU Berlin, FB 20, 1993"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Ribeiro, L.; Ehrig, H.; Padberg, J.: Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations, Techn. Report No. 93-13, TU Berlin, FB 20, 1993, and Proc. SE-Conf. Brazil, 1993","DOI":"10.5753\/sbes.1993.24392"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57787-4_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T14:34:52Z","timestamp":1687271692000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57787-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540577874","9783540483335"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-57787-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}