{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:12Z","timestamp":1761611172106},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634379"},{"type":"electronic","value":"9783540695479"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0029965","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:24:59Z","timestamp":1133418299000},"page":"219-228","source":"Crossref","is-referenced-by-count":7,"title":["Integrating the specification techniques of graph transformation and temporal logic"],"prefix":"10.1007","author":[{"given":"Reiko","family":"Heckel","sequence":"first","affiliation":[]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[]},{"given":"Uwe","family":"Wolter","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Corradini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Pfender, and H. Schneider, \u201cGraph grammars: an algebraic approach,\u201d in 14th Annual IEEE Symposium on Switching and Automata Theory, pp. 167\u2013180, IEEE, 1973.","DOI":"10.1109\/SWAT.1973.11"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. L\u00f6we, \u201cAlgebraic approaches to graph transformation I: Basic concepts and double pushout approach,\u201d in Handbook of Graph Grammars and Computing by Graph transformation, Volume 1: Foundations (G. Rozenberg, ed.), World Scientific, 1997.","DOI":"10.1142\/9789812384720_0003"},{"key":"22_CR3","unstructured":"M. Koch, \u201cModellierung and Nachweis der Konsistenz von verteilten Transaktionsmodellen f\u00fcr Datenbanksysteme mit algebraischen Graphgrammatiken,\u201d Master's thesis, TU Berlin, 1996."},{"key":"22_CR4","unstructured":"R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, \u201cLoose semantics and constraints for graph transformation systems,\u201d Tech. Rep. 97-07, TU Berlin, 1997. http:\/\/www.cs.tu-berlin.de\/cs\/ifb\/TechnBerichteListe.html."},{"issue":"3","key":"22_CR5","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, \u201cGraph processes,\u201d Special issue of Fundamenta Informaticae, vol. 26, no. 3,4, pp. 241\u2013266, 1996.","journal-title":"Special issue of Fundamenta Informaticae"},{"key":"22_CR6","unstructured":"L. Ribeiro, Parallel Composition and Unfolding Semantics of Graph Grammars. PhD thesis, TU Berlin, 1996."},{"key":"22_CR7","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1017\/S0960129500000694","volume":"5","author":"H. Reichel","year":"1995","unstructured":"H. Reichel, \u201cAn approach to object semantics based on terminal co-algebaas,\u201d Math. Struc. in Comp. Science, vol. 5, pp. 129\u2013152, 1995.","journal-title":"Math. Struc. in Comp. Science"},{"key":"22_CR8","unstructured":"J. Rutten, \u201cUniversal coalgebra: a theory of systems,\u201d Tech. Rep. CS-119652, CWI, 1996."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"A. Corradini, H. Ehrig, M. L\u00f6we, U. Montanari, and J. Padberg, \u201cThe category of typed graph grammars and their adjunction with categories of derivations,\u201d in 5th Int. Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94, LNCS 1073, 1996.","DOI":"10.1007\/3-540-61228-9_79"},{"issue":"6","key":"22_CR10","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, \u201cHorizontal and vertical structuring of typed graph transformation systems,\u201d Math. Struc. in Comp. Science, vol. 6, no. 6, pp. 613\u2013648, 1996.","journal-title":"Math. Struc. in Comp. Science"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"R. Heckel and A. Wagner, \u201cEnsuring consistency of conditional graph grammars-a constructive approach,\u201d Proc. of SEGRAGRA'95 \u201cGraph Rewriting and Computation\u201d, Electronic Notes of TCS, vol. 2, 1995. http:\/\/www.elsevier.nl\/locate\/entcs\/volume2.html.","DOI":"10.1016\/S1571-0661(05)80188-4"},{"key":"22_CR12","unstructured":"A. Habel, R. Heckel, and G. Taentzer, \u201cGraph grammars with negative application conditions,\u201d Special issue of Fundamenta Informaticae, vol. 26, no. 3,4, 1996."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Specification. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"22_CR14","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1017\/S0960129500001353","volume":"1","author":"H. Ehrig","year":"1991","unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce, \u201cParallelism and concurrency in High Level Replacement Systems,\u201d Math. Struc. in Comp. Science, vol. 1, pp. 361\u2013404, 1991.","journal-title":"Math. Struc. in Comp. Science"},{"key":"22_CR15","unstructured":"M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Sch\u00fcrr, and G. Taentzer, \u201cGraph transformation for specification and programming\u201d, Tech. Rep. 7\/96, University of Bremen, 1996."},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"F. Parisi-Presicce, \u201cTransformation of graph grammars,\u201d in 5th Int. Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94, LNCS 1073, 1996.","DOI":"10.1007\/3-540-61228-9_103"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1997"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0029965","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T08:22:31Z","timestamp":1586593351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029965"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634379","9783540695479"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0029965","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}