{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:00Z","timestamp":1725663480353},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563792"},{"type":"electronic","value":"9783540475453"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56379-2_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:06:15Z","timestamp":1330254375000},"page":"222-235","source":"Crossref","is-referenced-by-count":1,"title":["Nonequivalence of categories 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","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"10_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":"10_CR2","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/322290.322303","volume":"29","author":"H.D. Ehrich","year":"1982","unstructured":"H.D. Ehrich: On the theory of specification, implementation and parametrization of abstract data types, J. Assoc.Comput.Mach. 29 (1982) 206\u2013227","journal-title":"J. Assoc.Comput.Mach."},{"key":"10_CR3","unstructured":"H. Ehrig, M. Baldamus, F. Cornelius, F. Orejas: Theory of Algebraic Module Specifications including Behavioural Semantics, Constraints and Aspects of Generalized Morphisms (invited paper), Proc. AMAST91, Iowa City, May 1991"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski, F. Parisi-Presicce: Parallelism and Concurrency in High-Level-Replacement Systems, to appear in Math. Structures in Computer Science 1991","DOI":"10.1017\/S0960129500001353"},{"key":"10_CR5","first-page":"1","volume-title":"Graph Grammars and Their Application to Computer Science and Biology, Lecture Notes in Computer Science 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, Lecture Notes in Computer Science 73. Berlin: Springer 1979, pp. 1\u201369"},{"key":"10_CR6","volume-title":"EATCS Monographs on Theoretical Computer Science, Vol. 6","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer-Verlag, Berlin 1985"},{"key":"10_CR7","first-page":"292","volume-title":"Lecture Notes in Computer Science 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, Lecture Notes in Computer Science 532. Berlin: Springer 1991,pp. 292\u2013310"},{"key":"10_CR8","unstructured":"H. Ehrig, F. Parisi-Presicce: Nonequivalence of Categories for Equational Algebraic Specifications in view of High Level Replacement Systems, TUB Technical Report 91\/16, Technische Universitat Berlin Sept 1991"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J.V. Guttag","year":"1978","unstructured":"J.V. Guttag, J. J. Horning: The algebraic specification of abstract data types, Acta Informatica 10 (1978) 27\u201352","journal-title":"Acta Informatica"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"F. Parisi-Presicce: A Rule-Based Approach to Modular System Design, Proc. 12th Int. Conf. Soft. Eng., Computer Science Press 1990,pp. 202\u2013211","DOI":"10.1109\/ICSE.1990.63624"},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/0304-3975(91)90042-Z","volume":"83","author":"F. Parisi-Presicce","year":"1991","unstructured":"F. Parisi-Presicce: Foundations of Rule-Based Design of Modular Systems, Theoret. Comp. Sc. 83, 131\u2013155 (1991)","journal-title":"Theoret. Comp. Sc."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"J.W. Thatcher, E.G. Wagner, J.B. Wright, Data type specification: parametrization and the power of specification techniques, Proc. 10th Symp. Theory of Comput. (1978) 119\u2013132 and Trans. Progr. Lang. and Syst. 4 (1982) 711\u2013732","DOI":"10.1145\/69622.357192"},{"key":"10_CR13","unstructured":"S. N. Zilles, Algebraic specification of data types, Project MAC Prograss Report 11, MIT 1974, 28\u201352"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56379-2_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:29Z","timestamp":1605647009000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56379-2_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563792","9783540475453"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-56379-2_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}