{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T14:58:00Z","timestamp":1782572280349,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540612285","type":"print"},{"value":"9783540683889","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61228-9_79","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:17:05Z","timestamp":1153145825000},"page":"56-74","source":"Crossref","is-referenced-by-count":27,"title":["The category of typed graph grammars and its adjunctions with categories of derivations"],"prefix":"10.1007","author":[{"given":"A.","family":"Corradini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"H.","family":"Ehrig","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"L\u00f6we","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"U.","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J.","family":"Padberg","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"5_CR1","unstructured":"M. A. Bednarcsyk: Categories of asynchronous systems, Ph.D. Thesis, University of Sussex, Report no. 1\/88, 1988."},{"key":"5_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, LNCS 776, Springer-Verlag, 1994, 86\u2013103.","DOI":"10.1007\/3-540-57787-4_6"},{"key":"5_CR3","unstructured":"A. Corradini, H. Ehrig, M. L\u00f6we, U. Montanari and F. Rossi: An Event Structure Semantics for Safe Graph Grammars, in Proc. IFIP Conf. PROCOMET'94 (Conference Edition), San Miniato, Italy, 1994."},{"issue":"1","key":"5_CR4","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P.P. Chen","year":"1976","unstructured":"P.P. Chen: The Entity-Relationship Model: Toward a Unified View of Data, ACM Transactions on Database Systems, 1(1):9\u201336, 1976.","journal-title":"ACM Transactions on Database Systems"},{"key":"5_CR5","unstructured":"I. Cla\u00dfen, M. L\u00f6we: Scheme Evolution in Object-Oriented Models: A Graph Transformation Approach, to appear Proc. Workshop on Formal Methods at the ICSE'95, Seattle (U.S.A.), 1995."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"I. Cla\u00dfen, M. L\u00f6we, S. Wasserroth, J. Wortmann: Static and Dynamic Semantics of EIR Models Based on Algebraic Methods, Integration von semiformalen und formalen Methoden f\u00fcr die Spezifikation von Software-Systemen (B. Wolfinger, ed.), Springer-Verlag, Informatik aktuell, 1994, 2\u20139.","DOI":"10.1007\/978-3-642-51136-3_1"},{"key":"5_CR7","unstructured":"A. Corradini, U. Montanari and F. Rossi: Graph Processes, accepted for publication in Fundamenta Informaticae."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"P. Degano, J. Meseguer, U. Montanari: Axiomatizing Net Computations and Processes, in Proc. 4th Annual Symp. on Logic in Comp. Sci., Asilomar, CA, USA, 1989, 175\u2013185.","DOI":"10.1109\/LICS.1989.39172"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"H. Ehrig: Tutorial Introduction to the Algebraic Approach of Graph-Grammars, LNCS 291, Springer-Verlag, 1987, 3\u201314.","DOI":"10.1007\/3-540-18771-5_40"},{"key":"5_CR10","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/0304-3975(80)90016-X","volume":"11","author":"H. Ehrig","year":"1980","unstructured":"H. Ehrig, B.K. Rosen: Parallelism and Concurrency of Graph Manipulation, TCS 11(1980), 247\u2013275.","journal-title":"TCS"},{"key":"5_CR11","unstructured":"M. L\u00f6we: Von Graphgrammatiken zu Petri-Netzen und zur\u00fcck, Tagungsband Alternative Konzepte f\u00fcr Sprachen und Rechner 1994 (F. Simon, eds.), Univ. Kiel, FB Informatik, Nr. 9412, 79\u201382."},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer, and U. Montanari: Petri-Nets are Monoids, in Info. and Co., 88(1990) 105\u2013155.","journal-title":"Info. and Co."},{"key":"5_CR13","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G. Plotkin and G. Winskel: Petri-Nets, Event Structures and Domains, Part 1, in Theoret. Comp. Sci. 13 (1981), 85\u2013108.","journal-title":"Theoret. Comp. Sci."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"W. Reisig: Petri Nets: An Introduction, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"V. Sassone, M. Nielsen and G. Winskel: Relationship between models of concurrency, in Proc. REX'93, 1993.","DOI":"10.7146\/dpb.v22i456.6929"}],"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_79","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T22:48:06Z","timestamp":1736462886000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61228-9_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612285","9783540683889"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-61228-9_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}