{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T07:45:02Z","timestamp":1770018302993,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540443100","type":"print"},{"value":"9783540458326","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45832-8_14","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T11:13:34Z","timestamp":1188299614000},"page":"161-176","source":"Crossref","is-referenced-by-count":104,"title":["Confluence of Typed Attributed Graph Transformation Systems"],"prefix":"10.1007","author":[{"given":"Reiko","family":"Heckel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jochen Malte","family":"K\u00fcster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"P. Bottoni, A. Sch\u00fcrr, and G. Taentzer. Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation. In Proc. IEEE Symposium on Visual Languages, September 2000. Long version available as technical report SI-2000-06, University of Rom.","DOI":"10.1109\/VL.2000.874351"},{"issue":"34","key":"14_CR2","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"26","author":"A. Corradini","year":"1996","unstructured":"A. Corradini, U. Montanari, and F. Rossi. Graph processes. In Fundamenta Informaticae, volume 26(3,4), pages 241\u2013266, 1996.","journal-title":"Fundamenta Informaticae"},{"key":"14_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/3-540-08442-8_91","volume-title":"Fundamentals of Computation Theory","author":"H. Ehrig","year":"1977","unstructured":"H. Ehrig. Embedding theorems in the algebraic theory of graph grammars. In LNCS 56, pages 245\u2013255. Springer, 1977."},{"key":"14_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Graph Grammars and their Application to Computer Science and Biology","author":"H. Ehrig","year":"1979","unstructured":"H. Ehrig. 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."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Pfender, and H.J. Schneider. Graph grammars: an algebraic approach. In 14th Annual IEEE Symposium on Switching and Automata Theory, pages 167\u2013180. IEEE, 1973.","DOI":"10.1109\/SWAT.1973.11"},{"key":"14_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/3-540-45441-1_21","volume-title":"Proc. 4th Intl. Conference on The Unified Modeling Language (UML\u2019 02), Toronto, Canada, October, 2001","author":"G. Engels","year":"2001","unstructured":"G. Engels, R. Heckel, and J. M. K\u00fcster. Rule-based specification of behavioral consistency based on the UML meta-model. In M. Gogolla and C. Kobryn, editors, Proc. 4th Intl. Conference on The Unified Modeling Language (UML\u2019 02), Toronto, Canada, October, 2001, volume 2185 of LNCS, pages 272\u2013287. Springer, 2001."},{"key":"14_CR7","unstructured":"C. Ermel, M. Rudolf, and G. Taentzer. The AGG-Approach: Language and Tool Environment. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, volume 2: Applications, Languages and Tools, pages 551\u2013603. World Scientific, 1999. See also http:\/\/tfs.cs.tu\/berlin.de\/agg ."},{"key":"14_CR8","unstructured":"Formal Systems Europe (Ltd). Failures-Divergence-Refinement: FDR2 User Manual, 1997."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"J. H. Hausmann, R. Heckel, and G. Taentzer. Detection of Conflicting Functional Requirements in a Use Case-Driven Approach. In Proc. 24th Intl. Conference on Software Engineering, Orlando, FL, 2002. ACM\/IEEE Computer Society.","DOI":"10.1145\/581352.581355"},{"key":"14_CR10","unstructured":"R. Heckel, J.M. K\u00fcster, and G. Taentzer. Towards automatic translation of UML models into semantic domains. In H.-J. Kreowski, editor, Proc. ETAPS\u201902 Workshop on Application of Graph Transformation (AGT\u201902), Grenoble, France, April 2002."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"14_CR12","unstructured":"H.-J. Kreowski. Manipulation von Graphmanipulationen. PhD thesis, FB13, 1978."},{"key":"14_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Proc. UML 2001, Toronto, Kanada","author":"S. Kuske","year":"2001","unstructured":"S. Kuske. A formal semantics of UML state machines based on structured graph transformation. In M. Gogolla and C. Kobryn, editors, Proc. UML 2001, Toronto, Kanada, volume 2185 of LNCS. Springer-Verlag, 2001."},{"key":"14_CR14","unstructured":"M. L\u00f6we, M. Korff, and A. Wagner. An algebraic framework for the transformation of attributed graphs. In Term Graph Rewriting: Theory and Practice, pages 185\u2013199. John Wiley & Sons Ltd, 1993."},{"issue":"2","key":"14_CR15","doi-asserted-by":"publisher","first-page":"223","DOI":"10.2307\/1968867","volume":"43","author":"M. H. A. Newman","year":"1942","unstructured":"M. H. A. Newman. On theories with a combinatorial definition of\u2019 equivalence\u2019. In Annals of Mathematics, 43(2), pages 223\u2013243, 1942.","journal-title":"Annals of Mathematics"},{"key":"14_CR16","unstructured":"J. Padberg and G. Taentzer. Embedding of derivations in high-level replacement systems. Technical Report 93\/9, Technical University of Berlin, Computer Science Department, 1993."},{"key":"14_CR17","unstructured":"D. Plump. Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence. In M.R Sleep, M.J. Plasmeijer, and M. C.J.D. van Eekelen, editors, Term Graph Rewriting, pages 201\u2013214. Wiley, 1993."},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"D. Plump. Term graph rewriting. In G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages, and Tools, pages 3\u201362. World Scientific, 1999.","DOI":"10.1142\/9789812815149_0001"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"D. Varro, G. Varro, and A. Pataricza. Designing the Automatic Transformation of Visual Languages. Science of Computer Programming, 44(2), 2002.","DOI":"10.1016\/S0167-6423(02)00039-4"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45832-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T19:03:32Z","timestamp":1684004612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45832-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443100","9783540458326"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45832-8_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}