{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:11:56Z","timestamp":1725574316938},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540249368"},{"type":"electronic","value":"9783540318477"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31847-7_16","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T19:51:47Z","timestamp":1294429907000},"page":"275-290","source":"Crossref","is-referenced-by-count":1,"title":["Cofree Coalgebras for Signature Morphisms"],"prefix":"10.1007","author":[{"given":"Uwe","family":"Wolter","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Bartels, F., Sokolova, A., de Vink, E.: A hierarchy of probabilistic system types. TCS (2004) (submitted)","DOI":"10.1016\/j.tcs.2004.07.019"},{"issue":"1","key":"16_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1008688122154","volume":"6","author":"H. Ehrig","year":"1998","unstructured":"Ehrig, H., Gro\u00dfe\u2013Rhode, M., Wolter, U.: Applications of category theory to the area of algebraic specification in computer science. Applied Categorical Structures\u00a06(1), 1\u201335 (1998)","journal-title":"Applied Categorical Structures"},{"key":"16_CR3","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, vol.\u00a06. Springer, Berlin (1985)"},{"key":"16_CR4","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification 2: Module Specifications and Constraints","author":"H. Ehrig","year":"1990","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, vol.\u00a021. Springer, Berlin (1990)"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/S0304-3975(00)00122-5","volume":"260","author":"H.P. Gumm","year":"2001","unstructured":"Gumm, H.P.: Equational and implicational classes of coalgebras. TCS\u00a0260, 57\u201369 (2001)","journal-title":"TCS"},{"key":"16_CR6","first-page":"222","volume":"62","author":"B. Jacobs","year":"1997","unstructured":"Jacobs, B., Rutten, J.: A tutorial on (Co)Algebras and (Co)Induction. Bulletin of the EATCS\u00a062, 222\u2013259 (1997)","journal-title":"Bulletin of the EATCS"},{"key":"16_CR7","unstructured":"Kurz, A.: Coalgebras and modal Logic. Technical report, CWI Amsterdam, Lecture notes (2001)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-540-31847-7_11","volume-title":"Formal Methods in Software and Systems Modeling","author":"M. L\u00f6we","year":"2005","unstructured":"L\u00f6we, M., K\u00f6nig, H., Schulz, C.: Algebraic properties of interfaces. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol.\u00a03393, pp. 190\u2013203. Springer, Heidelberg (2005)"},{"key":"16_CR9","doi-asserted-by":"crossref","DOI":"10.1515\/9783112573426","volume-title":"Initial Computability, Algebraic Specifications, and Partial Algebras","author":"H. Reichel","year":"1987","unstructured":"Reichel, H.: Initial Computability, Algebraic Specifications, and Partial Algebras. Oxford University Press, Oxford (1987)"},{"key":"#cr-split#-16_CR10.1","doi-asserted-by":"crossref","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: A theory of systems. TCS 249, 3\u201380 (2000);","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"#cr-split#-16_CR10.2","unstructured":"First appeared as Report CS-R9652, CWI, Amsterdam (1996)"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M.B. Smyth","year":"1982","unstructured":"Smyth, M.B., Plotkin, G.D.: The category theoretic solution of recursive domain equations. SIAM Journ. Comput.\u00a011, 761\u2013783 (1982)","journal-title":"SIAM Journ. Comput."},{"key":"16_CR12","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-76771-5","volume-title":"Universal Algebra for Computer Scientists","author":"W. Wechler","year":"1992","unstructured":"Wechler, W.: Universal Algebra for Computer Scientists. EATCS Monographs on Theoretical Computer Science, vol.\u00a025. Springer, Berlin (1992)"},{"issue":"2","key":"16_CR13","first-page":"85","volume":"27","author":"U. Wolter","year":"1990","unstructured":"Wolter, U.: An Algebraic Approach to Deduction in Equational Partial Horn Theories. J. Inf. Process. Cybern. EIK\u00a027(2), 85\u2013128 (1990)","journal-title":"J. Inf. Process. Cybern. EIK"},{"key":"16_CR14","series-title":"ENTCS","first-page":"347","volume-title":"Proceedings of Third Workshop on Coalgebraic Methods in Computer Science (CMCS 2000)","author":"U. Wolter","year":"2000","unstructured":"Wolter, U.: On Corelations, Cokernels, and Coequations. In: Reichel, H. (ed.) Proceedings of Third Workshop on Coalgebraic Methods in Computer Science (CMCS 2000), Berlin, Germany. ENTCS, vol.\u00a013, pp. 347\u2013366. Elsevier Science, Amsterdam (2000)"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(01)00019-6","volume":"280","author":"U. Wolter","year":"2002","unstructured":"Wolter, U.: CSP, Partial Automata, and Coalgebras. TCS\u00a0280, 3\u201334 (2002)","journal-title":"TCS"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Software and Systems Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31847-7_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T19:50:29Z","timestamp":1685908229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31847-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540249368","9783540318477"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31847-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}