{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:39Z","timestamp":1761611259846,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662464"},{"type":"electronic","value":"9783540484837"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48483-3_7","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:32Z","timestamp":1269897212000},"page":"92-106","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An Algebra of Graph Derivations Using Finite (co\u2014) Limit Double Theories"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Gro\u03b2e-Rhode","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,27]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BF01692060","volume":"20","author":"M. Bauderon","year":"1987","unstructured":"M. Bauderon and B. Courcelle. Graph expressions and graph rewritings. Mathematical Systems Theory, 20:83\u2013127, 1987.","journal-title":"Mathematical Systems Theory"},{"key":"7_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings REX Workshop, Beekbergen, The Netherlands, June 1992","author":"A. Corradini","year":"1993","unstructured":"A. Corradini and A. Asperti. A categorical model for logic programs: Indexed monoidal categories. In Proceedings REX Workshop, Beekbergen, The Netherlands, June 1992, Springer LNCS 666, 1993."},{"key":"7_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings CTCS\u201997","author":"A. Corradini","year":"1997","unstructured":"A. Corradini and F. Gadducci. A 2-categorical presentation of term graph rewriting. In Proceedings CTCS\u201997, Springer LNCS 1290, 1997."},{"issue":"2","key":"7_CR4","first-page":"153","volume":"5","author":"I. Cla\u03b2en","year":"1995","unstructured":"I. Cla\u03b2en, M. Gro\u03b2e-Rhode, and U. Wolter. Categorical concepts for parameterized partial specifications. MSCS, 5(2):153\u2013188, 1995.","journal-title":"MSCS"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0304-3975(92)90087-V","volume":"103","author":"A. Corradini","year":"1992","unstructured":"A. Corradini and U. Montanari. An algebraic semantics for structured transition systems and its application to logic programs. TCS, 103:51\u2013106, 1992.","journal-title":"TCS"},{"key":"7_CR6","unstructured":"A. Corradini. An algebraic semantics for transition systems and logic programming. PhD thesis, Dip. Informatica, Universit\u00e0 di Pisa, 1990."},{"key":"7_CR7","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"1st Graph Grammar Workshop","author":"H. Ehrig","year":"1979","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."},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1007\/s002360050106","volume":"34","author":"J. Engelfriet","year":"1997","unstructured":"J. Engelfriet and J.J. Vereijken. Context-free graph grammars and concatenation of graphs. Acta Informatica, 34:773\u2013803, 1997.","journal-title":"Acta Informatica"},{"key":"7_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings WADT\u201997","author":"F. Gadducci","year":"1998","unstructured":"F. Gadducci and R. Heckel. An inductive view of graph transformation. In Proceedings WADT\u201997, Springer LNCS 1376, 1998."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"J.A. Goguen. A categorical manifesto. MSCS, 1, 1991.","DOI":"10.1017\/S0960129500000050"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1090\/conm\/092\/1003198","volume":"92","author":"J.W. Gray","year":"1989","unstructured":"J.W. Gray. The category of sketches as a model for algebraic semantics. Contemporary Mathematics, 92:109\u2013135, 1989.","journal-title":"Contemporary Mathematics"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"P. Gabriel and F. Ulmer. Lokal pr\u00e4sentierbare Kategorien, Springer LNM 221, 1971.","DOI":"10.1007\/BFb0059396"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"R. Heckel. Compositional Development of Reactive Systems using Graph Transformation Systems with Loose Semantics. PhD thesis, TU Berlin, 1998.","DOI":"10.1007\/BFb0053588"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"F. W. Lawvere","year":"1963","unstructured":"F. W. Lawvere. Functorial semantics of algebraic theories. In Proc. National Academy of Science, U.S.A., 50, pages 869\u2013872. Columbia University, 1963.","journal-title":"Proc. National Academy of Science, U.S.A."},{"key":"7_CR15","doi-asserted-by":"publisher","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. Information and Computation, 88:105\u2013155, 1990.","journal-title":"Information and Computation"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientic, 1997.","DOI":"10.1142\/3303"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48483-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,12]],"date-time":"2021-03-12T02:07:40Z","timestamp":1615514860000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48483-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662464","9783540484837"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-48483-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"27 May 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}