{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:26Z","timestamp":1750307306105,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,7,12]],"date-time":"2011-07-12T00:00:00Z","timestamp":1310428800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,7,12]]},"DOI":"10.1145\/2000378.2000382","type":"proceedings-article","created":{"date-parts":[[2011,7,15]],"date-time":"2011-07-15T12:25:09Z","timestamp":1310732709000},"page":"28-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Connections of coalgebra and semantic modeling"],"prefix":"10.1145","author":[{"given":"Lawrence S.","family":"Moss","sequence":"first","affiliation":[{"name":"Indiana University Bloomington, IN"}]}],"member":"320","published-online":{"date-parts":[[2011,7,12]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"589","article-title":"Ad\u00e1mek, Free algebras and automata realizations in the language of categories","volume":"14","year":"1974","unstructured":"{A74} J . Ad\u00e1mek, Free algebras and automata realizations in the language of categories , Comment. Math. Univ. Carolinae 14 ( 1974 ), 589 -- 602 . {A74} J. Ad\u00e1mek, Free algebras and automata realizations in the language of categories, Comment. Math. Univ. Carolinae 14 (1974), 589--602.","journal-title":"Comment. Math. Univ. Carolinae"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1016\/0022-0000(79)90026-6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1017\/S0960129510000502"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1016\/0304-3975(93)90076-6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1007\/BF01766706"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1006\/jeth.1993.1012"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1093\/comjnl\/bxp004"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","DOI":"10.1201\/9781584889427","volume-title":"Stochastic Relations: Foundations for Markov Transition Systems","author":"Doberkat E.-E.","year":"2007","unstructured":"{Dob} E.-E. Doberkat , Stochastic Relations: Foundations for Markov Transition Systems . Chapman Hall & CRC Press , Boca Raton , 2007 . {Dob} E.-E. Doberkat, Stochastic Relations: Foundations for Markov Transition Systems. Chapman Hall & CRC Press, Boca Raton, 2007."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1305\/ndjfl\/1093891703"},{"key":"e_1_3_2_1_10_1","volume-title":"Allgemeine Algebra","author":"Gumm H. P.","year":"2003","unstructured":"{GU} H. P. Gumm , Universelle Coalgebra , an appendix of T. Ihringer , Allgemeine Algebra , Helderman Verlag , Berlin 2003 (in German) {GU} H. P. Gumm, Universelle Coalgebra, an appendix of T. Ihringer, Allgemeine Algebra, Helderman Verlag, Berlin 2003 (in German)"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1287\/mnsc.14.3.159"},{"key":"e_1_3_2_1_12_1","first-page":"108","article-title":"den Hartog and de Vink, Building metric strucutres with the Meas-functor, Liber Americorum Jaco de Bakker, F. de Boer, M. van der Heijden, P. Klint and J. Rutten (eds.)","volume":"93","year":"2002","unstructured":"{HV} J . den Hartog and de Vink, Building metric strucutres with the Meas-functor, Liber Americorum Jaco de Bakker, F. de Boer, M. van der Heijden, P. Klint and J. Rutten (eds.) , CWI, Amsterdam , 2002 , 93 -- 108 . {HV} J. den Hartog and de Vink, Building metric strucutres with the Meas-functor, Liber Americorum Jaco de Bakker, F. de Boer, M. van der Heijden, P. Klint and J. Rutten (eds.), CWI, Amsterdam, 2002, 93--108.","journal-title":"CWI, Amsterdam"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1007\/BF01240148"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1006\/jeth.1998.2435"},{"key":"e_1_3_2_1_15_1","first-page":"222","article-title":"A tutorial on (Co)algebras and (co)induction","volume":"62","author":"Jacobs B.","year":"1997","unstructured":"{JR} B. Jacobs and J. Rutten , A tutorial on (Co)algebras and (co)induction . EATCS Bulletin 62 , 1997 , p. 222 -- 259 . {JR} B. Jacobs and J. Rutten, A tutorial on (Co)algebras and (co)induction. EATCS Bulletin 62, 1997, p. 222--259.","journal-title":"EATCS Bulletin"},{"key":"e_1_3_2_1_16_1","volume-title":"Graduate Texts in Mathematics 156","author":"Kechris A.","year":"1995","unstructured":"{Ke} A. Kechris , Classical Descriptive Set Theory , Graduate Texts in Mathematics 156 , Springer-Verlag , New York , 1995 . {Ke} A. Kechris, Classical Descriptive Set Theory, Graduate Texts in Mathematics 156, Springer-Verlag, New York, 1995."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/1140612.1140628"},{"key":"e_1_3_2_1_18_1","volume-title":"Math. Z. 103","author":"Lambek J.","year":"1968","unstructured":"{L} J. Lambek , A Fixpoint Theorem for Complete Categories , Math. Z. 103 ( 1968 ), 151--161. {L} J. Lambek, A Fixpoint Theorem for Complete Categories, Math. Z. 103 (1968), 151--161."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1007\/BF01770224"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1016\/j.geb.2007.03.001"},{"key":"e_1_3_2_1_21_1","first-page":"6","article-title":"Moss, Finite models constructed from canonical formulas","volume":"36","author":"L.","year":"2007","unstructured":"{Mo1} L. S . Moss, Finite models constructed from canonical formulas , J. Philos. Logic 36 ( 2007 ), no. 6 , 605--640. {Mo1} L. S. Moss, Finite models constructed from canonical formulas, J. Philos. Logic 36 (2007), no. 6, 605--640.","journal-title":"J. Philos. Logic"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1093\/logcom\/exn095"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1016\/j.entcs.2004.02.036"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1016\/j.ic.2005.04.006"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1305\/ndjfl\/1094155277"},{"key":"e_1_3_2_1_26_1","volume-title":"An Introduction to the Theory of Coalgebras, course notes from NASSLLI","author":"Pattinson D.","year":"2003","unstructured":"{P2} D. Pattinson , An Introduction to the Theory of Coalgebras, course notes from NASSLLI 2003 , available from http:\/\/www.indiana.edu\/~nasslli\/program.html. {P2} D. Pattinson, An Introduction to the Theory of Coalgebras, course notes from NASSLLI 2003, available from http:\/\/www.indiana.edu\/~nasslli\/program.html."},{"key":"e_1_3_2_1_27_1","volume-title":"Proc. Thirteenth Annual IEEE Symposium on Logic in Computer Science","author":"Pavlovi\u0107 D.","year":"1998","unstructured":"{PE} D. Pavlovi\u0107 , M. H. Escard\u00f3, Calculus in coinductive form , In: Proc. Thirteenth Annual IEEE Symposium on Logic in Computer Science ( Indianapolis, IN , 1998 ), 408--417, IEEE Computer Soc., Los Alamitos, CA, 1998. {PE} D. Pavlovi\u0107, M. H. Escard\u00f3, Calculus in coinductive form, In: Proc. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Indianapolis, IN, 1998), 408--417, IEEE Computer Soc., Los Alamitos, CA, 1998."},{"key":"e_1_3_2_1_28_1","first-page":"126","article-title":"Pint\u00e9r, The existence of an inverse limit of an inverse system of measure spaces - A purely measurable case","volume":"2010","unstructured":"{Pi} M . Pint\u00e9r, The existence of an inverse limit of an inverse system of measure spaces - A purely measurable case , Acta Mathematica Hungarica 2010 , 126 , 65--77. {Pi} M. Pint\u00e9r, The existence of an inverse limit of an inverse system of measure spaces - A purely measurable case, Acta Mathematica Hungarica 2010, 126, 65--77.","journal-title":"Acta Mathematica Hungarica"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1016\/S0304-3975(00)00056-6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1093\/logcom\/exn096"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1007\/978-3-642-02017-9_35"},{"key":"e_1_3_2_1_32_1","volume-title":"Working Paper 252, Department of Economics","author":"Vassilakis S.","year":"1989","unstructured":"{Va} S. Vassilakis , Economic Data Types , Working Paper 252, Department of Economics , University of Pittsburgh , 1989 . {Va} S. Vassilakis, Economic Data Types, Working Paper 252, Department of Economics, University of Pittsburgh, 1989."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1016\/j.tcs.2004.12.009"}],"event":{"acronym":"TARK XIII","name":"TARK XIII: Thirteenth conference on Theoretical Aspects of Rationality and Knowledge","location":"Groningen The Netherlands"},"container-title":["Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2000378.2000382","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2000378.2000382","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:00:00Z","timestamp":1750244400000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2000378.2000382"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,12]]},"references-count":33,"alternative-id":["10.1145\/2000378.2000382","10.1145\/2000378"],"URL":"https:\/\/doi.org\/10.1145\/2000378.2000382","relation":{},"subject":[],"published":{"date-parts":[[2011,7,12]]},"assertion":[{"value":"2011-07-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}