{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:24Z","timestamp":1761611184820},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540612285"},{"type":"electronic","value":"9783540683889"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61228-9_81","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:17:05Z","timestamp":1153145825000},"page":"89-106","source":"Crossref","is-referenced-by-count":21,"title":["On the interleaving semantics of transformation units \u2014 A step into GRACE"],"prefix":"10.1007","author":[{"given":"Hans-J\u00f6rg","family":"Kreowski","sequence":"first","affiliation":[]},{"given":"Sabine","family":"Kuske","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"H. Bunke. Programmed graph grammars. In Claus et al. [CER79], 155\u2013166.","key":"7_CR1","DOI":"10.1007\/BFb0025718"},{"doi-asserted-by":"crossref","unstructured":"V. Claus, H. Ehrig, G. Rozenberg, eds. Graph Grammars and Their Application to Computer Science and Biology, Lecture Notes in Computer Science 73, 1979.","key":"7_CR2","DOI":"10.1007\/BFb0025713"},{"key":"7_CR3","first-page":"193","volume-title":"Handbook of Theoretical Computer Science, volume Vol. B.","author":"B. Courcelle","year":"1990","unstructured":"B. Courcelle. Graph rewriting: An algebraic and logical approach. In J. van Leeuwen, ed., Handbook of Theoretical Computer Science, volume Vol. B., 193\u2013242. Elsevier, Amsterdam, 1990."},{"doi-asserted-by":"crossref","unstructured":"J. Dassow, G. Paun. Regulated Rewriting in Formal Language Theory, volume 18 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1989.","key":"7_CR4","DOI":"10.1007\/978-3-642-74932-2"},{"doi-asserted-by":"crossref","unstructured":"H. Ehrig. Introduction to the algebraic theory of graph grammars. In Claus et al. [CER79], 1\u201369.","key":"7_CR5","DOI":"10.1007\/BFb0025714"},{"unstructured":"H. Ehrig, G. Engels. Towards a module concept for graph transformation systems. Technical Report 93-34, Leiden, 1993.","key":"7_CR6"},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-642-95486-3_7","volume-title":"The Book of L","author":"H. Ehrig","year":"1986","unstructured":"H. Ehrig, A. Habel. Graph grammars with application conditions. In G. Rozenberg, A. Salomaa, eds., The Book of L, 87\u2013100. Springer-Verlag, Berlin, 1986."},{"doi-asserted-by":"crossref","unstructured":"H. Ehrig, H.-J. Kreowski, G. Rozenberg, eds. Graph Grammars and Their Application to Computer Science, Lecture Notes in Computer Science 532, 1991.","key":"7_CR8","DOI":"10.1007\/BFb0017372"},{"doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Nagl, G. Rozenberg, eds. Graph-Grammars and Their Application to Computer Science, Lecture Notes in Computer Science 153, 1983.","key":"7_CR9","DOI":"10.1007\/BFb0000094"},{"doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Nagl, G. Rozenberg, A. Rosenfeld, eds. Graph-Grammars and Their Application to Computer Science, Lecture Notes in Computer Science 291, 1987.","key":"7_CR10","DOI":"10.1007\/3-540-18771-5_40"},{"doi-asserted-by":"crossref","unstructured":"J.R.W. Glauert, J.R. Kennaway, M.R. Sleep. Dactl: An experimental graph rewriting language. In Ehrig et al. [EKR91], 378\u2013395.","key":"7_CR11","DOI":"10.1007\/BFb0017401"},{"unstructured":"A. Habel. Hyperedge replacement: Grammars and languages. Lecture Notes in Computer Science 643, 1992.","key":"7_CR12"},{"doi-asserted-by":"crossref","unstructured":"A. Habel, R. Heckel, G. Taentzer. Graph grammars with negative application conditions. Fundamenta Informaticae, 1995. To appear.","key":"7_CR13","DOI":"10.3233\/FI-1996-263404"},{"doi-asserted-by":"crossref","unstructured":"M. Himsolt. Graph-Ed: An interactive tool for developing graph grammars. In Ehrig et al. [EKR91], 61\u201365.","key":"7_CR14","DOI":"10.1007\/BFb0017378"},{"key":"7_CR15","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0020-0255(80)90038-9","volume":"20","author":"D. Janssens","year":"1980","unstructured":"D. Janssens, G. Rozenberg. On the structure of node-label-controlled graph languages. Information Sciences 20, 191\u2013216, 1980.","journal-title":"Information Sciences"},{"doi-asserted-by":"crossref","unstructured":"H.-J. Kreowski. Five facets of hyperedge replacement beyond contextfreeness. In Z. \u00c9sik, ed., Fundamentals of Computation Theory, Lecture Notes in Computer Science 710, 69\u201386, 1993.","key":"7_CR16","DOI":"10.1007\/3-540-57163-9_5"},{"unstructured":"H.-J. Kreowski. Graph grammars for software specification and programming: An eulogy in praise of GRACE. In Rossell\u00f3 and Valiente [RV95], 55\u201361.","key":"7_CR17"},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0020-0255(90)90042-9","volume":"52","author":"H.-J. Kreowski","year":"1990","unstructured":"H.-J. Kreowski, G. Rozenberg. On structured graph grammars, I and II. Information Sciences 52, 185\u2013210 and 221\u2013246, 1990.","journal-title":"Information Sciences"},{"unstructured":"S. Kuske. Semantic aspects of the graph and rule centered language GRACE. In Rossell\u00f3 and Valiente [RV95], 63\u201369.","key":"7_CR19"},{"doi-asserted-by":"crossref","unstructured":"T. Lengauer. VLSI theory. In J. van Leeuwen, ed., Handbook of Theoretical Computer Science, volume A. Elsevier Science Publishers B.V., 1990.","key":"7_CR20","DOI":"10.1016\/B978-0-444-88071-0.50021-7"},{"key":"7_CR21","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0304-3975(93)90116-B","volume":"115","author":"I. Litovsky","year":"1993","unstructured":"I. Litovsky, Y. M\u00e9tivier. Computing with graph rewriting systems with priorities. Theoretical Computer Science 115, 191\u2013224, 1993.","journal-title":"Theoretical Computer Science"},{"key":"7_CR22","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M. L\u00f6we","year":"1993","unstructured":"M. L\u00f6we. Algebraic approach to single-pushout graph transformation. Theoretical Computer Science 109, 181\u2013224, 1993.","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"M. L\u00f6we, M. Beyer. AGG \u2014 an implementation of algebraic graph rewriting. In C. Kirchner, ed., Rewriting Techniques and Applications, Lecture Notes in Computer Science 690, 451\u2013456, 1993.","key":"7_CR23","DOI":"10.1007\/3-540-56868-9_36"},{"doi-asserted-by":"crossref","unstructured":"A. Maggiolo-Schettini, J. Winkowski. Programmed derivations of relational structures. In Ehrig et al. [EKR91], 582\u2013598.","key":"7_CR24","DOI":"10.1007\/BFb0017414"},{"key":"7_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-01443-0","volume-title":"Graph-Grammatiken: Theorie, Anwendungen, Implementierungen","author":"M. Nagl","year":"1979","unstructured":"M. Nagl. Graph-Grammatiken: Theorie, Anwendungen, Implementierungen. Vieweg, Braunschweig, 1979."},{"unstructured":"F. Rossell\u00f3, G. Valiente, eds. Proceedings Colloquium on Graph Transformation and its Application in Computer Science, Technical Report UIBDMI-B-19. University of the Balearic Islands, 1995.","key":"7_CR26"},{"doi-asserted-by":"crossref","unstructured":"H.J. Schneider, H. Ehrig, eds. Graph Transformations in Computer Science, Lecture Notes in Computer Science 776, 1993.","key":"7_CR27","DOI":"10.1007\/3-540-57787-4"},{"key":"7_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-14577-6","volume-title":"Operationales Spezifizieren mit programmierten Graphersetzungssystemen","author":"A. Sch\u00fcrr","year":"1991","unstructured":"A. Sch\u00fcrr. Operationales Spezifizieren mit programmierten Graphersetzungssystemen. Deutscher Universit\u00e4ts-Verlag, Wiesbaden, 1991."},{"doi-asserted-by":"crossref","unstructured":"A. Sch\u00fcrr. PROGRES: A VHL-language based on graph grammars. In Ehrig et al. [EKR91], 641\u2013659.","key":"7_CR29","DOI":"10.1007\/BFb0017419"},{"doi-asserted-by":"crossref","unstructured":"A. Sch\u00fcrr. Programmed graph transformations and graph transformation units in GRACE, 1995. This volume.","key":"7_CR30","DOI":"10.1007\/3-540-61228-9_83"},{"doi-asserted-by":"crossref","unstructured":"A. Sch\u00fcrr, A. Z\u00fcndorf. Nondeterministic control structures for graph rewriting systems. In G. Schmidt, R. Berghammer, eds., Graph-Theoretic Concepts in Computer Science, Lecture Notes in Computer Science 570, 48\u201362, 1991.","key":"7_CR31","DOI":"10.1007\/3-540-55121-2_5"},{"doi-asserted-by":"crossref","unstructured":"G. Taentzer, M. Beyer. Amalgamated graph transformation systems and their use for specifying AGG \u2014 an algebraic graph grammar system. In Schneider and Ehrig [SE93], 380\u2013394.","key":"7_CR32","DOI":"10.1007\/3-540-57787-4_24"},{"doi-asserted-by":"crossref","unstructured":"G. Taentzer, A. Sch\u00fcrr. DIEGO, another step towards a module concept for graph transformation systems. Electronic Notes in Theoretical Computer Science, 1995. To appear.","key":"7_CR33","DOI":"10.1016\/S1571-0661(05)80206-3"},{"key":"7_CR34","volume-title":"Computational Aspects of VLSI","author":"J.D. Ullman","year":"1984","unstructured":"J.D. Ullman. Computational Aspects of VLSI. Computer Science Press, Rockville, MD, 1984."}],"container-title":["Lecture Notes in Computer Science","Graph Grammars and Their Application to Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61228-9_81","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,16]],"date-time":"2020-04-16T21:55:52Z","timestamp":1587074152000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61228-9_81"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612285","9783540683889"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-61228-9_81","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}