{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:04:14Z","timestamp":1776373454447,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"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_11","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T15:13:34Z","timestamp":1188314014000},"page":"120-134","source":"Crossref","is-referenced-by-count":16,"title":["Graph Transformation with Time: Causality and Logical Clocks"],"prefix":"10.1007","author":[{"given":"Szilvia","family":"Gyapay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"11_CR1","unstructured":"P. Baldan. Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars. PhD thesis, Dipartimento di Informatica, Universit\u00e1 di Pisa, 2000."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"P. Baldan, A. Corradini, H. Ehrig, M. L\u00f6we, U. Montanari, and F. Rossi. Concurrent semantics of algebraic graph transformation. In H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency and Distribution, pages 107\u2013188. World Scientific, 1999.","DOI":"10.1142\/9789812814951_0003"},{"key":"11_CR3","unstructured":"L. Baresi, M. Pezz\u00e9, and G. Taentzer, editors. Proc. ICALP 2001 Workshop on Graph Transformation and Visual Modeling Techniques, Heraklion, Greece, Electronic Notes in TCS. Elsevier Science, July 2001."},{"key":"11_CR4","unstructured":"A. Corradini and R. Heckel, editors. Proc. ICALP 2000 Workshop on Graph Transformation and Visual Modeling Techniques, Geneva, Switzerland, July 2000. Carleton Scientific. http:\/\/www.di.unipi.it\/GT-VMT\/ ."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"A. Corradini and U. Montanari. Specification of Concurrent Systems: from Petri Nets to Graph Grammars. In Quality of Communication-Based Systems, pages 35\u201352. Kluwer Academic Publishers, 1995.","DOI":"10.1007\/978-94-011-0187-5_3"},{"issue":"34","key":"11_CR6","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. Fundamenta Informaticae, 26(3,4):241\u2013266, 1996.","journal-title":"Fundamenta Informaticae"},{"key":"11_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/3-540-40011-7_23","volume-title":"Proc. UML 2000, York, UK","author":"G. Engels","year":"2000","unstructured":"G. Engels, J.H. Hausmann, R. Heckel, and St. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In A. Evans, S. Kent, and B. Selic, editors, Proc. UML 2000, York, UK, volume 1939 of LNCS, pages 323\u2013337. Springer-Verlag, 2000."},{"key":"11_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/3-540-57867-6_11","volume-title":"Recent Trends in Data Type Specification","author":"H. Ehrig","year":"1994","unstructured":"H. Ehrig, J. Padberg, and L. Ribeiro. Algebraic high-level nets: Petri nets revisited. In Recent Trends in Data Type Specification, pages 188\u2013206, Caldes de Malavella, Spain, 1994. Springer Verlag. Lecture Notes in Computer Science 785."},{"key":"11_CR9","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":"11_CR10","unstructured":"S. Gyapay and R. Heckel. Towards graph transformation with time. In Proc. ET APS\u201902 Workshop on Application of Graph Transformation, Grenoble, France, 2002."},{"issue":"2","key":"11_CR11","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/32.67597","volume":"17","author":"C. Ghezzi","year":"1991","unstructured":"C. Ghezzi, D. Mandrioli, S. Morasca, and Pezz\u00e8. A unified high-level petri net formalism for time-critical systems. IEEE Transactions on Software Engineering, 17(2):160\u2013172, 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR12","unstructured":"J.H. Hausmann, R. Heckel, and S. Sauer. Towards dynamic meta modeling of UML extensions: An extensible semantics for UML sequence diagrams. In M. Minas and A. Sch\u00fcrr, editors, Symposium on Visual Languages and Formal Methods, IEEE Symposia on Human Computer Interaction (HCI 2001), Stresa, Italy, Los Alamitos, CA, September 2001. IEEE Computer Society Press."},{"key":"11_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1007\/978-3-540-46464-8_31","volume-title":"Theory and Application of Graph Transformations, 6th International Workshop, TAGT\u201998, Paderborn, Germany, Selected Papers","author":"C. E. Hrischuk","year":"2000","unstructured":"C. E. Hrischuk. A Model Making Automation Process (MMAP) using a graph grammar formalism. In Theory and Application of Graph Transformations, 6th International Workshop, TAGT\u201998, Paderborn, Germany, Selected Papers, volume 1764 of LNCS, pages 442\u2013454. Springer-Verlag, 2000."},{"key":"11_CR14","unstructured":"H.-J. Kreowski. Manipulation von Graphmanipulationen. PhD thesis, Technical University of Berlin, Dep. of Comp. Sci., 1977."},{"key":"11_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/3-540-45441-1_19","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, pages 241\u2013256. Springer-Verlag, 2001."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7), July 1978.","DOI":"10.1145\/359545.359563"},{"key":"11_CR17","unstructured":"M. L\u00f6we, M. Korff, and A. Wagner. An algebraic framework for the transformation of attributed graphs. In M. R. Sleep, M. J. Plasmeijer, and M.C. van Eekelen, editors, Term Graph Rewriting: Theory and Practice, chapter 14, pages 185\u2013199. John Wiley & Sons Ltd, 1993."},{"key":"11_CR18","unstructured":"L. Ribeiro. Parallel Composition and Unfolding Semantics of Graph Grammars. PhD thesis, TU Berlin, 1996."}],"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_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,26]],"date-time":"2020-04-26T05:15:36Z","timestamp":1587878136000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45832-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443100","9783540458326"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45832-8_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}