{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:26:03Z","timestamp":1725456363482},"publisher-location":"Berlin\/Heidelberg","reference-count":21,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354054495X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013469","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:51:37Z","timestamp":1132728697000},"page":"236-260","source":"Crossref","is-referenced-by-count":7,"title":["An algebra of graphs and graph rewriting"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/BF01692060","volume":"20","author":"M. Bauderon","year":"1987","unstructured":"M. Bauderon, B. Courcelle, Graph Expressions and Graph Rewritings, Mathematical System Theory 20, 1987, pp. 83\u2013127.","journal-title":"Mathematical System Theory"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"V. Claus, H. Ehrig, G. Rozenberg, (Eds.) Proceedings of the 1 st International Workshop on Graph-Grammars and Their Application to Computer Science and Biology, LNCS 73, 1979.","DOI":"10.1007\/BFb0025713"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"A. Corradini, U. Montanari, F. Rossi, H. Ehrig, M. L\u00f6we, Logic Programming and Graph Grammars, in [EKR91].","DOI":"10.1007\/BFb0017392"},{"key":"17_CR4","unstructured":"A. Corradini, An Algebraic Semantics for Transition Systems and Logic Programming, Ph.D. Thesis TD-8\/90, Dipartimento di Informatica, Universit\u00e0 di Pisa, March '90."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"H. Ehrig, Introduction to the Algebraic Theory of Graph-Grammars, in [CER79], pp. 1\u201369.","DOI":"10.1007\/BFb0025714"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski, F. Parisi-Presicce, From Graph Grammars to High-Level Replacement Systems, in [EKR91].","DOI":"10.1007\/BFb0017395"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski, F. Parisi-Presicce, Parallelism and Concurrency in High-Level Replacement Systems, Technical Report n\u2022 90\/35, Technische Universit\u00e4t Berlin. To appear in Mathematical Structures in Computer Science, 1991.","DOI":"10.1017\/S0960129500001353"},{"key":"17_CR8","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01752403","volume":"14","author":"H. Ehrig","year":"1981","unstructured":"H. Ehrig, H.-J. Kreowski, A. Maggiolo-Schettini, B. Rosen, J. Winkowski, Transformation of Structures: an Algebraic Approach, Mathematical System Theory 14, 1981, pp. 305\u2013334.","journal-title":"Mathematical System Theory"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"H. Ehrig, H.-J. Kreowski, G. Rozenberg, (Eds.) Proceedings of the 4 th International Workshop on Graph-Grammars and Their Application to Computer Science, LNCS, 1991.","DOI":"10.1007\/BFb0017372"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Nagl, G. Rozenberg, (Eds.) Proceedings of the 2 nd International Workshop on Graph-Grammars and Their Application to Computer Science, LNCS 153, 1983.","DOI":"10.1007\/BFb0000094"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Nagl, G. Rozenberg, A. Rosenfeld, (Eds.) Proceedings of the 3 rd International Workshop on Graph-Grammars and Their Application to Computer Science, LNCS 291, 1987.","DOI":"10.1007\/3-540-18771-5"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Pfender, H.J. Schneider, Graph-grammars: an algebraic approach, Proc, IEEE Conf. on Automata and Switching Theory, 1973, pp. 167\u2013180.","DOI":"10.1109\/SWAT.1973.11"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"A. Habel, Collage Grammars, in [EKR91].","DOI":"10.1007\/BFb0017403"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"A. Habel, H.-J. Kreowski, May we introduce to you: hyperedge replacement, in [ENRR87], pp. 15\u201326.","DOI":"10.1007\/3-540-18771-5_41"},{"key":"17_CR15","first-page":"92","volume":"332","author":"A. Habel","year":"1988","unstructured":"A. Habel, H-J. Kreowski, D. Plump, Jungle evaluation, in Proc. Fifth Workshop on Specification of Abstract Data Types, LNCS 332, 1988, pp. 92\u2013112.","journal-title":"LNCS"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"J.R. Kennaway, Graph rewriting in some categories of partial morphisms, in [EKR91].","DOI":"10.1007\/BFb0017408"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"J. Meseguer, Rewriting as a Unified Model of Concurrency, Proc. CONCUR '90, LNCS 458, 1990, pp. 384\u2013400. Full version as Tech. Rep. SRI-CSL-90-02, SRI International, February '90.","DOI":"10.1007\/BFb0039072"},{"issue":"2","key":"17_CR18","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, U. Montanari, Petri Nets are Monoids: A New Algebraic Foundation for Net Theory, Proc. Logics In Computer Science, Edinburgh, 1988, pp. 155\u2013164. Also in Information and Computation, 88 (2), 1990, pp. 105\u2013155.","journal-title":"Information and Computation"},{"key":"17_CR19","unstructured":"U. Montanari, F. Rossi, True Concurrency in Concurrent Constraint Programming, Proc. International Logic Programming Symposium, MIT Press, 1991."},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"F. Parisi-Presicce, H. Ehrig and U. Montanari, Graph Rewriting with Unification and Composition, in [ENRR87], pp. 496\u2013514.","DOI":"10.1007\/3-540-18771-5_72"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"F. Parisi-Presicce, A Rule Based Approach to Modular System Design, Proc. 12th Int. Conf. Software Engineering, March 1990.","DOI":"10.1109\/ICSE.1990.63624"}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013469","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:29:07Z","timestamp":1586579347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013469"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354054495X"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0013469","relation":{},"subject":[]}}