{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:48:30Z","timestamp":1762458510824},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648277"},{"type":"electronic","value":"9783540685326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055805","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T17:36:31Z","timestamp":1155836191000},"page":"553-561","source":"Crossref","is-referenced-by-count":15,"title":["Spatial and temporal refinement of typed graph transformation systems"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gro\u00dfe-Rhode","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Parisi-Presicce","sequence":"additional","affiliation":[]},{"given":"Marta","family":"Simeoni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"issue":"2\u20133","key":"52_CR1","first-page":"293","volume":"34","author":"E.K. Blum","year":"1987","unstructured":"E.K. Blum, H. Ehrig, and F. Parisi-Presicce. Algebraic specification of modules and their basic interconnections. JCSS, 34(2\u20133):293\u2013339, 1987.","journal-title":"JCSS"},{"key":"52_CR2","first-page":"377","volume":"34","author":"P. B\u00f6hm","year":"1987","unstructured":"P. B\u00f6hm, H.-R. Fonio, and A. Habel. Amalgamation of graph transformations: a synchronization mechanism. JCSS, 34:377\u2013408, 1987.","journal-title":"JCSS"},{"key":"52_CR3","first-page":"240","volume":"1073","author":"A. Corradini","year":"1996","unstructured":"A. Corradini, H. Ehrig, M. L\u00f6we, U. Montanari, and J. Padberg. The category of typed graph grammars and its adjunctions with categories of derivations. In 5th Int. Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94, Springer LNCS 1073, pages 240\u2013256. 1996.","journal-title":"Springer LNCS"},{"key":"52_CR4","doi-asserted-by":"crossref","unstructured":"A. Corradini and R. Heckel. A compositional approach to structuring and refinement of typed graph grammars. 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)80180-X"},{"issue":"3","key":"52_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. Graph processes. Fundamenta Informaticae, 26(3,4):241\u2013266, 1996.","journal-title":"Fundamenta Informaticae"},{"key":"52_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehrig. Introduction to the algebraic theory of graph grammars. In V. Claus, H. Ehrig, and G. Rozenberg, editors, 1st Graph Grammar Workshop Springer LNCS 73, pages 1\u201369. 1979.","DOI":"10.1007\/BFb0025714"},{"key":"52_CR7","volume-title":"volume 21 of EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1990","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, volume 21 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1990."},{"key":"52_CR8","volume-title":"Technical Report 97-10","author":"M. Gro\u00dfe-Rhode","year":"1997","unstructured":"M. Gro\u00dfe-Rhode, F. Parisi-Presicce, and M. Simeoni. Concrete spatial refinement constructions for graph transformation systems. Technical Report 97-10, Universit\u00e9 di Roma La Sapienza, 1997."},{"key":"52_CR9","volume-title":"Technical Report 97-11","author":"M. Gro\u00dfe-Rhode","year":"1997","unstructured":"M. Gro\u00dfe-Rhode, F. Parisi-Presicce, and M. Simeoni. Spatial and temporal refinement of typed graph transformation systems. Technical Report 97-11, Universit\u00e0 di Roma La Sapienza, 1997."},{"key":"52_CR10","doi-asserted-by":"crossref","unstructured":"R. Heckel, A. Corradini, H. Ehrig, and M. L\u00f6we. Horizontal and vertical structuring of typed graph transformation systems. MSCS, pages 1\u201335, 1996.","DOI":"10.1017\/S0960129500070110"},{"key":"52_CR11","doi-asserted-by":"crossref","unstructured":"F. Parisi-Presicce. Transformation of graph grammars. In 5th Int. Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94, Springer LNCS 1073, 1996.","DOI":"10.1007\/3-540-61228-9_103"},{"key":"52_CR12","unstructured":"L. Ribeiro. Parallel Composition and Unfolding Semantics of Graph Grammars. PhD thesis, TU Berlin, 1996."},{"key":"52_CR13","doi-asserted-by":"crossref","unstructured":"G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific Publishing, 1997.","DOI":"10.1142\/9789812384720"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055805","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,17]],"date-time":"2020-04-17T23:03:51Z","timestamp":1587164631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055805"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648277","9783540685326"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0055805","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}