{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:13Z","timestamp":1725663433101},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540517221"},{"type":"electronic","value":"9783540467878"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51722-7_13","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:13:34Z","timestamp":1330204414000},"page":"220-243","source":"Crossref","is-referenced-by-count":5,"title":["Semantical constructions for categories of behavioural specifications"],"prefix":"10.1007","author":[{"given":"F.","family":"Orejas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ma P.","family":"Nivela","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Ehrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/0022-0000(87)90028-6","volume":"34","author":"E.K. Blum","year":"1987","unstructured":"E.K. Blum, H. Ehrig, F. Parisi-Presicce: Algebraic Specification of Modules and their Basic Interconnections, J. of Comp. Syst. Sci. 34 (1987) 293\u2013339.","journal-title":"J. of Comp. Syst. Sci."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"H. Ehrig: A categorical concept of constraints for algebraic specifications, Technical University of Berlin, 1.989.","DOI":"10.1007\/3-540-51722-7_1"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr, Fundamentals of algebraic specification 1, EATCS Monographs on Theor. Comp. Sc., Springer, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"13_CR4","unstructured":"H. Ehrig, H. Weber: Programming in the Large with Algebraic Module Specifications, Proc. IFIP Congress'86, Dublin, Sept. 1986."},{"key":"13_CR5","first-page":"265","volume":"140","author":"J.A. Goguen","year":"1982","unstructured":"J.A. Goguen, J. Meseguer, \"Universal realization, persistent interconnection and implementation of abstract modules,\" Proc. IX ICALP, Springer LNCS 140, pp. 265\u2013281, 1982.","journal-title":"LNCS"},{"key":"13_CR6","unstructured":"J. A. Goguen, J. W. Thatcher, E. G. Wagner: An initial algebra approach to the specification, correctness and implementation of abstract data types, Current Trends in Programming Methodology, Vol. IV: Data Structuring, R. T. Yeh (ed.), Prentice Hall (1978) 80\u2013149."},{"key":"13_CR7","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-3-662-09691-8_10","volume":"116","author":"R. Hennicker","year":"1985","unstructured":"R. Hennicker, M. Wirsing: Observational Specification: A Birkhoff-Theorem, Recent Trends in Data Type Specification, Informatik-Fachberichte, Springer 116 (1985) 119\u2013135.","journal-title":"Recent Trends in Data Type Specification"},{"key":"13_CR8","unstructured":"J. Meseguer, J. A. Goguen: Initiality, induction and computability, Algebraic Methods in Semantics, M. Nivat and J. Reynolds (eds.), Cambridge Univ. Press (1985) 459\u2013540."},{"key":"13_CR9","unstructured":"Ma P. Nivela: Sem\u00e1ntica de Comportamiento en Lenguajes de Especificaci\u00f3n, PhD. Thesis, Facultat d'Inform\u00e0tica, Universitat Polit\u00e8cnica de Catalunya, Barcelona (1987)."},{"key":"13_CR10","first-page":"184","volume":"332","author":"M. P. Nivela","year":"1988","unstructured":"Ma P. Nivela, F. Orejas: Initial Behaviour Semantics for Algebraic Specifications, Proc. 5th Workshop on Algebraic Specifications of Abstract Data Types, Gullane 1987, Springer LNCS 332, (1988) 184\u2013207.","journal-title":"LNCS"},{"key":"13_CR11","unstructured":"H. Reichel: Behavioural equivalence \u2014 a unifying concept for initial and final specification methods, Proc. 3 rd Hungarian Computer Science Conf., Budapest (1981) 27\u201339."},{"key":"13_CR12","first-page":"301","volume-title":"Contributions to General Algebra 3","author":"H. Reichel","year":"1985","unstructured":"H. Reichel: Behavioral validity of equations in abstract data types, Contributions to General Algebra 3, Proc.of the Vienna Conference, Verlag B. G. Teubner, Stuttgart (1985) 301\u2013324."},{"issue":"2\/3","key":"13_CR13","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/0022-0000(87)90023-7","volume":"34","author":"D. Sannella","year":"1987","unstructured":"D. Sannella: Tarlecki, A., On observational equivalence and algebraic specification. J J. of Comp. Syst. Sci. 34 (2\/3) (1987) 150\u2013178.","journal-title":"J J. of Comp. Syst. Sci."},{"key":"13_CR14","first-page":"413","volume":"158","author":"D. Sannella","year":"1983","unstructured":"D. Sannella: Wirsing, M., A kernel language for algebraic specification and implementation. Proc. Intl. Conf. on Foundations of Computation Theory Sweden. Springer LNCS 158 (1983) 413\u2013427.","journal-title":"LNCS"},{"key":"13_CR15","unstructured":"O. Schoett: A theory of program modules, their specification and implementation (extended abstract), Univ. of Edinburgh, Rep. CSR-155-83, 1982."}],"container-title":["Lecture Notes in Computer Science","Categorical Methods in Computer Science With Aspects from Topology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51722-7_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:36Z","timestamp":1605648156000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51722-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540517221","9783540467878"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-51722-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}