{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:52Z","timestamp":1761611272603},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672036"},{"type":"electronic","value":"9783540464648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-46464-8_22","type":"book-chapter","created":{"date-parts":[[2010,10,20]],"date-time":"2010-10-20T13:43:10Z","timestamp":1287582190000},"page":"310-322","source":"Crossref","is-referenced-by-count":10,"title":["A Fully Abstract Model for Graph-Interpreted Temporal Logic"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Gadducci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Koch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Cla\u00dfen, I., Gogolla, M., L\u00f6we, M.: Dynamics in information systems: Specification, construction, and correctness. Technical Report 96\u201301, Technische Universit\u00e4t Berlin (1996)"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic approaches to graph transformation, Part I: Basic concepts and double pushout approach. In: Rozenberg [15], pp. 163\u2013245","DOI":"10.1142\/9789812384720_0003"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation, Part II: Single pushout approach and comparison with double pushout approach. In: Rozenberg [15], pp. 247\u2013312","DOI":"10.1142\/9789812384720_0004"},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1109\/SWAT.1973.11","volume-title":"14th Annual IEEE Symposium on Switching and Automata Theory","author":"H. Ehrig","year":"1973","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph grammars: an algebraic approach. In: 14th Annual IEEE Symposium on Switching and Automata Theory, pp. 167\u2013180. IEEE, Los Alamitos (1973)"},{"key":"22_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-46464-8_22","volume-title":"Theory and Application of Graph Transformations","author":"F. Gadducci","year":"2000","unstructured":"Gadducci, F., Heckel, R., Koch, M.: Model checking graph-interpreted temporal formulas. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764. Springer, Heidelberg (2000)"},{"key":"22_CR6","unstructured":"The Object Management Group. OMG UML Specification, V. 1.3 (1999)"},{"key":"22_CR7","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/BFb0053588","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Heckel","year":"1998","unstructured":"Heckel, R.: Compositional verification of reactive systems specified by graph transformation. In: Fundamental Approaches to Software Engineering. LNCS, vol.\u00a01382, pp. 138\u2013153. Springer, Heidelberg (1998)"},{"key":"22_CR8","unstructured":"Heckel, R.: Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems. PhD thesis, TU Berlin (1998)"},{"issue":"6","key":"22_CR9","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1017\/S0960129500070110","volume":"6","author":"R. Heckel","year":"1996","unstructured":"Heckel, R., Corradini, A., Ehrig, H.: Horizontal and vertical structuring of typed graph transformation systems. Math. Struc. in Comp. Science\u00a06(6), 613\u2013648 (1996); Also Tech. Rep. 96-22, TU Berlin","journal-title":"Math. Struc. in Comp. Science"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BFb0029965","volume-title":"Mathematical Foundations of Computer Science 1997","author":"R. Heckel","year":"1997","unstructured":"Heckel, R., Ehrig, H., Wolter, U., Corradini, A.: Integrating the specification techniques of graph transformation and temporal logic. In: Privara, I., Ru\u017ei\u010dka, P. (eds.) MFCS 1997. LNCS, vol.\u00a01295, pp. 219\u2013228. Springer, Heidelberg (1997)"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Heckel, R., Wagner, A.: Ensuring consistency of conditional graph grammars \u2013 a constructive approach. In: Proc. of SEGRAGRA 1995 \u201dGraph Rewriting and Computation\u201d, Electronic Notes of TCS, vol.\u00a02 (1995), http:\/\/www.elsevier.nl\/locate\/entcs\/volume2.html","DOI":"10.1016\/S1571-0661(05)80188-4"},{"key":"22_CR12","unstructured":"Koch, M.: Modellierung und Nachweis der Konsistenz von verteilten Transaktionsmodellen f\u00fcr Datenbanksysteme mit algebraischen Graphgrammatiken. Technical Report 96-36, TU Berlin, Master\u2019s thesis (1996)"},{"key":"22_CR13","unstructured":"Koch, M.: Integration of Graph Transformation and Temporal Logic for the Specification of Distributed Systems. PhD thesis, TU Berlin (1999)"},{"key":"22_CR14","unstructured":"Rasmussen, G., Henderson-Sellers, B., Low, G.C.: An object-oriented analysis and design notation for distributed systems. Object Currents\u00a01(10) (1996)"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations","year":"1997","key":"22_CR15","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, Singapore (1997)"},{"key":"22_CR16","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, E., Lorenson, W.: Object-Oriented Modeling and Design. Prentice Hall International, Englewood Cliffs (1991)"},{"key":"22_CR17","series-title":"Handbook of Logic in Computer Science","first-page":"477","volume-title":"Background: Computational structures","author":"C. Stirling","year":"1992","unstructured":"Stirling, C.: Modal and temporal logics. In: Background: Computational structures. Handbook of Logic in Computer Science, vol.\u00a02, pp. 477\u2013563. Clarendon Press, Oxford (1992)"},{"key":"22_CR18","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-009-6259-0_4","volume-title":"Handbook of Philosophical Logic","author":"J. Benthem van","year":"1984","unstructured":"van Benthem, J.: Correspondence theory. In: Gabbay, D., G\u00fcnther, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0II, pp. 167\u2013248. Reidel, Dordrechtz (1984)"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Wagner, A.: A Formal Object Specification Technique Using Rule-Based Transformation of Partial Algebras. PhD thesis, TU Berlin (1997)","DOI":"10.1142\/S021819409700028X"}],"container-title":["Lecture Notes in Computer Science","Theory and Application of Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-46464-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T04:17:42Z","timestamp":1636690662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-46464-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672036","9783540464648"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-46464-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}