{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:45:31Z","timestamp":1747579531499},"publisher-location":"Berlin\/Heidelberg","reference-count":16,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055873X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013816","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:24:11Z","timestamp":1132730651000},"page":"3-20","source":"Crossref","is-referenced-by-count":5,"title":["High-level-replacement systems for equational algebraic specifications"],"prefix":"10.1007","author":[{"given":"H.","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"F.","family":"Parisi-Presicce","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"R.Burstall, J.A. Goguen: Putting theories together to make specifications, Proc.5th Internat. Joint Conf. on Artificial Intelligence, Cambridge Mass., 1977, pp. 1045\u20131058"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"A.Corradini, U.Montanari, F.Rossi, H.Ehrig, M.Lowe: Graph Grammars and Logic Programming, in [8] pp.221\u2013237","DOI":"10.1007\/BFb0017392"},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/3-540-53982-4_16","volume":"493","author":"A. Corradini","year":"1991","unstructured":"A.Corradini, F.Rossi, F.Parisi-Presicce: Logic Programming as Hypergraph rewriting, Proc. CAAP91\/TAPSOFT91, Lecture Notes in Computer Science 493 (1991) pp.275\u2013295","journal-title":"Proc. CAAP91\/TAPSOFT91, Lecture Notes in Computer Science"},{"key":"2_CR4","first-page":"1","volume":"73","author":"H. Ehrig","year":"1979","unstructured":"H. Ehrig.: Introduction to the algebraic theory of graph grammars (A Survey) in: Graph Grammars and Their Application to Computer Science and Biology, Springer LNCS 73, (1979), 1\u201369","journal-title":"Springer LNCS"},{"key":"2_CR5","unstructured":"H. Ehrig; Baldamus, M.; Cornelius, F.; Orejas, F.: Theory of Algebraic Module Specifications including Behavioural Semantics, Constraints and Aspects of Generalized Morphisms (invited paper), Proc. AMAST'91, Iowa City, 1991"},{"key":"2_CR6","first-page":"269","volume":"532","author":"H. Ehrig","year":"1991","unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski, F. Parisi-Presicce: From Graph Grammars to High-Level Replacement Systems, Proc. 4th Int. Workshop on Graph Grammars and Application to Computer Science, Springer LNCS 532 (1991) pp. 269\u2013291","journal-title":"Springer LNCS"},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1017\/S0960129500001353","volume":"1","author":"H. Ehrig","year":"1991","unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski, F. Parisi-Presicce: Parallelism and Concurrency in High-Level-Replacement Systems, Math. Struct. in Comp. Science (1991) vol 1, pp.361\u2013404","journal-title":"Math. Struct. in Comp. Science"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"H.Ehrig, H.-J.Kreowski, G.Rozenberg (eds.): Proc. 4th Int. Workshop on Graph Grammars and Their Applications to Computer Science, Lecture Notes in Computer Science 532 (1991)","DOI":"10.1007\/BFb0017372"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"H. Ehrig; Mahr, B.: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer (1985)","DOI":"10.1007\/978-3-642-69962-7"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"H.Ehrig, M.Nagl, G.Rozenberg, A.Rosenfeld (eds.): Proc. 3rd Int. Workshop on Graph Grammars and Their Applications to Computer Science, Lecture Notes in Computer Science 291 (1987)","DOI":"10.1007\/3-540-18771-5"},{"key":"2_CR11","first-page":"292","volume":"532","author":"H. Ehrig","year":"1991","unstructured":"H. Ehrig, F. Parisi-Presicce: Algebraic Specification Grammars: A Junction Between Module Specifications and Graph Grammars, Proc. 4th Int. Workshop on Graph Grammars and Application to Computer Science, Springer LNCS 532 (1991)pp. 292\u2013310","journal-title":"Springer LNCS"},{"key":"2_CR12","first-page":"74","volume":"534","author":"H. Ehrig","year":"1991","unstructured":"H. Ehrig, F. Parisi-Presicce: A Match Operation for Rule Based Modular System Design, 7th ADT Workshop, Wusterhausen 1990, Springer LNCS 534 (1991)pp.74\u201397","journal-title":"Springer LNCS"},{"key":"2_CR13","unstructured":"H. Ehrig, F. Parisi-Presicce: Nonequivalence of Categories for Equational Algebraic Specifications in view of High-Level-Replacement Systems, Tech.Univ.Berlin technical report 91\/16, September 1991"},{"key":"2_CR14","first-page":"263","volume":"372","author":"H. Ehrig","year":"1989","unstructured":"H. Ehrig; Pepper, P.; Orejas, F.: On Recent Trends in Algebraic Specification, Proc. ICALP'89, Springer LNCS 372 (1989), pp. 263\u2013288","journal-title":"Springer LNCS"},{"key":"2_CR15","first-page":"202","volume-title":"Proc. 12th Int. Conf., Soft. Eng.","author":"F. Parisi-Presicce","year":"1990","unstructured":"F. Parisi-Presicce: A Rule-Based Approach to Modular System Design, Proc. 12th Int. Conf., Soft. Eng., Nice (France) 1990, pp.202\u2013211"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"F. Parisi-Presicce: Foundations of Rule-Based Design of Modular Systems, TCS 83, No. 1 (1991)","DOI":"10.1016\/0304-3975(91)90042-Z"}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013816","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T15:40:25Z","timestamp":1683301225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013816"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055873X"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0013816","relation":{},"subject":[]}}