{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:20Z","timestamp":1725467420155},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540612285"},{"type":"electronic","value":"9783540683889"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61228-9_92","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:17:05Z","timestamp":1153145825000},"page":"257-270","source":"Crossref","is-referenced-by-count":2,"title":["Synchronized composition of graph grammar productions"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"18_CR1","first-page":"307","volume":"34","author":"P. B\u00f6ehm","year":"1987","unstructured":"P. B\u00f6ehm, H. Fonio and A. Habel. Amalgamation of graph transformations: a synchronization mechanism. In JCSS 34 (1987), 307\u2013408.","journal-title":"JCSS"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"A. Corradini, H. Ehrig, M. L\u00f6we, U. Montanari and F. Rossi. Abstract Graph Derivations in the Double-Pushout Approach. In Proceedings Dagstuhl Seminar on Graph Trasformations in Computer Science. LNCS 776, Springer-Verlag, 1994, 86\u2013103.","DOI":"10.1007\/3-540-57787-4_6"},{"key":"18_CR3","unstructured":"A. Corradini, H. Ehrig, M. L\u00f6we, U. Montanari and F. Rossi. An event structure semantics for safe graph grammars. In Programming Concepts, Methods and Calculi, E.-R. Olderog ed., IFIP Transactions A-56, North Holland, 1994, 423\u2013444."},{"key":"18_CR4","unstructured":"A. Corradini, H. Ehrig, M. L\u00f6we, U. Montanari and F. Rossi. Algebraic approach to graph transformation II: models of computations in the double pushout approach. Submitted."},{"key":"18_CR5","unstructured":"A. Corradini, H. Ehrig, M. L\u00f6we, U. Montanari and F. Rossi. An event structure semantics for graph grammars with parallel productions. In this volume."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehrig. Tutorial introduction to the algebraic approach of graph-grammars. In Proceedings 3rd International Workshop on Graph Grammars and their Application to Computer Science, LNCS 291, Springer-Verlag, 1987, 3\u201314.","DOI":"10.1007\/3-540-18771-5_40"},{"key":"18_CR7","unstructured":"H. Ehrig and R. Heckel and M. Korff and L. Ribeiro and A. Wagner. Algebraic Approach to Graph Transformation I: Tutorial Introduction and Single-Pushout Approach. Submitted for the Handbook of Graph Grammars, 1995."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"R. Janicki and M. Koutny. Invariant semantics of nets with inhibitor arcs. In Proc. CONCUR. Springer-Verlag, LNCS 527, 1991.","DOI":"10.1007\/3-540-54430-5_97"},{"key":"18_CR9","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0304-3975(93)90238-O","volume":"112","author":"R. Janicki","year":"1993","unstructured":"R. Janicki and M. Koutny. Structure of concurrency. Theoretical Computer Science, 112:5\u201352, 1993.","journal-title":"Theoretical Computer Science"},{"key":"18_CR10","unstructured":"J.R. Kennaway, J.W. Klop, M.R. Sleep, and F.J. de Vries. Event structures and orthogonal term graph rewriting. In M.J. Plasmejier M.R. Sleep and M.C.J.D. van Eekelen, editors, Term Graph Rewriting. Wiley Professional Computing, 1993."},{"key":"18_CR11","volume-title":"Ph.D. Thesis","author":"H.-J. Kreowski","year":"1977","unstructured":"H.-J. Kreowski. Manipulation von Graph Transformationen. Ph.D. Thesis, Technische Universit\u00e4t Berlin, 1977."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"H.-J. Kreowski. Is parallelism already concurrency? Part 1: Derivations in graph grammars. In Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science. LNCS 291, Springer-Verlag, 1987, 343\u2013360.","DOI":"10.1007\/3-540-18771-5_63"},{"key":"18_CR13","volume-title":"Ph.D. Thesis","author":"M. L\u00f6we","year":"1990","unstructured":"M. L\u00f6we. Extended algebraic graph transformation. Ph.D. Thesis, Technische Universit\u00e4t Berlin, 1990."},{"key":"18_CR14","doi-asserted-by":"crossref","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. In Theoret. Comput. Sci. 109 (1993) 181\u2013224.","journal-title":"Theoret. Comput. Sci."},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"M. L\u00f6we and J. Dingel. Parallelism in the Single-Pushout Graph Rewriting. In Proceedings Dagstuhl Seminar on Graph Trasformations in Computer Science, LNCS 776, Springer-Verlag, 1994.","DOI":"10.1007\/3-540-57787-4_16"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems. In LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi. Graph grammars as context-dependent rewriting systems. In Proceedings CAAP92. Springer-Verlag, LNCS, 1992.","DOI":"10.1007\/3-540-55251-0_13"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets: An Introduction. EACTS Monographs on Theoretical Computer Science, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"}],"container-title":["Lecture Notes in Computer Science","Graph Grammars and Their Application to Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61228-9_92","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T02:02:11Z","timestamp":1555725731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61228-9_92"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612285","9783540683889"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-61228-9_92","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}