{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T15:33:46Z","timestamp":1779896026716,"version":"3.53.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540643036","type":"print"},{"value":"9783540697237","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053588","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:46:16Z","timestamp":1149659176000},"page":"138-153","source":"Crossref","is-referenced-by-count":32,"title":["Compositional verification of reactive systems specified by graph transformation"],"prefix":"10.1007","author":[{"given":"Reiko","family":"Heckel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1145\/357360.357365","volume":"1","author":"K.M. Chandy","year":"1983","unstructured":"K.M. Chandy, J. Misra, and L.M. Haas. Distributed deadlock detection. ACM Transactions on Computer Systems, 1:144\u2013156, May 1983.","journal-title":"ACM Transactions on Computer Systems"},{"key":"10_CR2","unstructured":"A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. L\u00f6we. Algebraic approaches to graph transformation I: Basic concepts and double pushout approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph transformation, Volume 1: Foundations. World Scientific, 1997."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"G. Engels, R. Heckel, G. Taentzer, and H. Ehrig. A view-oriented approach to system modelling based on graph transformation. In Proc. of ESEC\/FSE'97, Z\u00fcrich, Springer LNCS 1301, 1997. Extended version to appear in International Journal of Software Engineering and Knowledge Engineering, 1998.","DOI":"10.1007\/3-540-63531-9_23"},{"key":"10_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1985."},{"key":"10_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"},{"issue":"1","key":"10_CR6","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1142\/S0218194092000038","volume":"2","author":"A. Finkelstein","year":"1992","unstructured":"A. Finkelstein, J. Kramer, B. Nuseibeh, M. Goedicke, and L. Finkelstein. Viewpoints: A framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering, 2(1):31\u201358, March 1992.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"10_CR7","unstructured":"F. Gadducci, R. Heckel, and M. Koch. Combining graph transformations with temporal logic. In First TMR GETGRATS Workshop, Bordeaux, October 1997."},{"key":"10_CR8","unstructured":"M. Gr\u00f6\\e-Rhode. Algebra transformation systems and their composition. In this volume."},{"issue":"6","key":"10_CR9","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1017\/S0960129500070110","volume":"6","author":"R. Heckel","year":"1996","unstructured":"R. Heckel, A. Corradini, H. Ehrig, and M. L\u00f6we. Horizontal and vertical structuring of typed graph transformation systems. Math. Struc. in Comp. Science, 6(6):613\u2013648, 1996. Also Techn. Rep. 96\u201322, TU Berlin.","journal-title":"Math. Struc. in Comp. Science"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"R. Heckel, H. Ehrig, U. Wolter, and A. Corradini. Integrating the specification techniques of graph transformation and temporal logic. In Proc. of MFCS'97, Bratislava, Springer LNCS 1295, 1997.","DOI":"10.1007\/BFb0029965"},{"key":"10_CR11","unstructured":"R. Heckel, H. Ehrig, U. Wolter, and A. Corradini. Loose semantics and constraints for graph transformation systems. Techn. Rep. 97\u201307, TU Berlin, 1997. http:\/\/www.cs.tu-berlin.de\/cs\/ifb\/TechnBerichteListe.html."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"A. Habel, R. Heckel, and G. Taentzer. Graph grammars with negative application conditions. Fundamenta Informaticae, 26(3,4), 1996.","DOI":"10.3233\/FI-1996-263404"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"R. Heckel and A. Wagner. Ensuring consistency of conditional graph grammars \u2014 a constructive approach. Proc. of SEGRAGRA'95 \u201dGraph Rewriting and Computation\u201d, Electronic Notes of TCS, 2, 1995. http:\/\/www.elsevier.nl\/locate\/entcs\/volume2.html.","DOI":"10.1016\/S1571-0661(05)80188-4"},{"key":"10_CR14","doi-asserted-by":"publisher","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. TCS, 109:181\u2013224, 1993.","journal-title":"TCS"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems, Specification. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"10_CR16","unstructured":"Enno Scholz. Verteilte Betriebssysteme. Seminar notes at the graduate college \u201cCommunication-based Systems\u201d, TU Berlin, 1994."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053588","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,15]],"date-time":"2020-04-15T09:15:40Z","timestamp":1586942140000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053588"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643036","9783540697237"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0053588","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}