{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:12Z","timestamp":1725664992789},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540642992"},{"type":"electronic","value":"9783540697190"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","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":[[1998]]},"DOI":"10.1007\/3-540-64299-4_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:36:34Z","timestamp":1330299394000},"page":"190-205","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A completeness result for equational deduction in coalgebraic specification"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0304-3975(93)90076-6","volume":"114","author":"M. Barr","year":"1993","unstructured":"M. Barr. Terminal coalgebras in well-founded set theory. Theoret. Comput. Sci., 114:299\u2013315, 1993.","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1016\/0167-6423(95)00014-3","volume":"25","author":"M. Bidoit","year":"1995","unstructured":"M. Bidoit, R. Hennicker, and M. Wirsing. Behavioural and Abstractor Specifications. Science of Computer Programming, 25:146\u2013186, 1995.","journal-title":"Science of Computer Programming"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"A. Corradini. A Complete Calculus for Equational Deduction in Coalgebraic Specification. Technical Report SEN-R9723, CWI, Amsterdam, 1997.","DOI":"10.1007\/3-540-64299-4_34"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"U. Hensel and H. Reichel. Defining equations in terminal coalgebras. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data, Type Specification, volume 906 of LNCS, pages 307-318. Springer Verlag, 1995.","DOI":"10.1007\/BFb0014435"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"U. Hensel and D. Spooner. A view on implementing processes: Categories of circuits. In M. Haveraaen, O. Owe, and O. Dahl, editors, Recent Trends in Data Types Specification, volume 1130 of LNCS, pages 237\u2013255. Springer Verlag, 1995.","DOI":"10.1007\/3-540-61629-2_46"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"B. Jacobs. Inheritance and cofree constructions. In P. Cointe, editor, European Conference on object-oriented programming, volume 1098 of LNCS, pages 210\u2013231. Springer Verlag, 1996.","DOI":"10.1007\/BFb0053063"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"B. Jacobs. Objects and classes, co-algebraically. In B. Freitag, C.B. Jones, C. Lengauer, and H.-J. Schek, editors, Object-Orientation with Parallelism and Persistence, pages 83\u2013103. Kluwer Acad. Publ., 1996.","DOI":"10.1007\/978-1-4613-1437-0_5"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"B. Jacobs. Invariants, Bisimulations and the Correctness of Coalgebraic Refinement. In Proceedings AMAST'97, LNCS. Springer Verlag, 1997.","DOI":"10.1007\/BFb0000477"},{"key":"10_CR9","unstructured":"L.S. Moss. Coalgebraic Logic. Annals of Pure and Applied Logic, 1997. To appear."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"F. Orejas, M. Navarro, and A. Sanchez. Implementation and behavioural equivalence: a survey. In M. Bidoit and C. Choppy, editors, Recent Trends in Data Type Specification, volume 655 of LNCS, pages 93\u2013125. Springer Verlag, 1993.","DOI":"10.1007\/3-540-56379-2_36"},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1017\/S0960129500000694","volume":"5","author":"H. Reichel","year":"1995","unstructured":"H. Reichel. An Approach to Object Semantics based on Terminal Coalgebras. Mathematical Structures in Computer Science, 5:129\u2013152, 1995.","journal-title":"Mathematical Structures in Computer Science"},{"key":"10_CR12","unstructured":"J.J.M.M. Rutten. Universal coalgebra: a theory of systems. Technical Report CS-R9652, CWI, 1996."},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/BF02945004","volume":"2","author":"A. Selman","year":"1972","unstructured":"A. Selman. Completeness of calculii for axiomatically defined classes of algebras. Algebra Universalis, 2:20\u201332, 1972.","journal-title":"Algebra Universalis"}],"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-64299-4_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T19:29:45Z","timestamp":1687289385000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64299-4_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540642992","9783540697190"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-64299-4_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}