{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:04Z","timestamp":1750307044252,"version":"3.41.0"},"reference-count":54,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2015,4,22]],"date-time":"2015-04-22T00:00:00Z","timestamp":1429660800000},"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":["ACM SIGLOG News"],"published-print":{"date-parts":[[2015,4,22]]},"abstract":"<jats:p>This article contains a brief introduction to coalgebra and an overview of a recent proof of correctness for Brzozowski's algorithm which uses coalgebraic techniques. In the discussion section we briefly discuss the most active research lines in the coalgebra community and take a personal outlook at what future might bring for the field.<\/jats:p>","DOI":"10.1145\/2766189.2766193","type":"journal-article","created":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T22:26:16Z","timestamp":1585952776000},"page":"16-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A short introduction to the coalgebraic method"],"prefix":"10.1145","volume":"2","author":[{"given":"Alexandra","family":"Silva","sequence":"first","affiliation":[{"name":"Radboud University Nijmegen"}]}],"member":"320","published-online":{"date-parts":[[2015,4,22]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429075"},{"volume-title":"Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS","year":"2014","author":"Ad\u00e1mek Jir\u00ed","key":"e_1_2_1_2_1"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2014.10.002"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_1"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44584-6"},{"key":"e_1_2_1_8_1","unstructured":"Jon Barwise and Larry Moss. 1996. Vicious Circles. Center for the Study of Language and Information - Stanford.  Jon Barwise and Larry Moss. 1996. Vicious Circles . Center for the Study of Language and Information - Stanford."},{"key":"e_1_2_1_9_1","volume-title":"Proceedings (Lecture Notes in Computer Science), C.-H. Luke Ong and Ruy J. G. B. de Queiroz (Eds.)","volume":"7456","author":"Bezhanishvili Nick","year":"2012"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2012.08.006"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2490818"},{"volume-title":"Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science), Robert L","author":"Bonchi Filippo","key":"e_1_2_1_12_1"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-03542-0_1"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480359.2429124"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2713167"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676993"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2422085.2422092"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04081-8_12"},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Pavol Cern\u00fd Thomas A. Henzinger and Arjun Radhakrishna. 2010. Simulation Distances See Gastin and Laroussinie {2010} 253--268. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-15375-4_18  Pavol Cern\u00fd Thomas A. Henzinger and Arjun Radhakrishna. 2010. Simulation Distances See Gastin and Laroussinie {2010} 253--268. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-15375-4_18","DOI":"10.1007\/978-3-642-15375-4_18"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxp004"},{"volume-title":"CONCUR '99: Concurrency Theory, 10th International Conference","year":"1999","author":"Desharnais Josee","key":"e_1_2_1_21_1"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36976-6_14"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677011"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1887654"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069"},{"key":"e_1_2_1_26_1","volume-title":"TCS 2014, Rome, Italy, September 1--3, 2014. Proceedings (Lecture Notes in Computer Science), Josep Diaz, Ivan Lanese, and Davide Sangiorgi (Eds.)","volume":"8705","author":"Goncharov Sergey","year":"2014"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14203-1_5"},{"key":"e_1_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Ichiro Hasuo. 2010. Generic Forward and Backward Simulations II: Probabilistic Simulation See Gastin and Laroussinie {2010} 447--461. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-15375-4_31   Ichiro Hasuo. 2010. Generic Forward and Backward Simulations II: Probabilistic Simulation See Gastin and Laroussinie {2010} 447--461. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-15375-4_31","DOI":"10.1007\/978-3-642-15375-4_31"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.06.001"},{"key":"e_1_2_1_30_1","first-page":"222","article-title":"An introduction to (co) algebra and (co) induction","volume":"62","author":"Jacobs Bart","year":"1997","journal-title":"EATCS Bulletin"},{"key":"e_1_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Bart Jacobs and Alexandra Silva. 2014. Automata Learning: A Categorical Perspective. In Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) Franck van Breugel Elham Kashefi Catuscia Palamidessi and Jan Rutten (Eds.) Vol. 8464. Springer 384--406. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-319-06880-0_20  Bart Jacobs and Alexandra Silva. 2014. Automata Learning: A Categorical Perspective. In Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) Franck van Breugel Elham Kashefi Catuscia Palamidessi and Jan Rutten (Eds.) Vol. 8464. Springer 384--406. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-319-06880-0_20","DOI":"10.1007\/978-3-319-06880-0_20"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_4"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32940-1_29"},{"volume-title":"Automata, Languages, and Programming - 41st International Colloquium, ICALP","year":"2014","author":"Kiefer Stefan","key":"e_1_2_1_34_1"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/256167.256195"},{"volume-title":"Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC. In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence","year":"2013","author":"Kulacka Agnieszka","key":"e_1_2_1_36_1"},{"volume-title":"Bisimulations Upto: Beyond First-Order Transition Systems, See Baldan and Gorla {2014}, 93--108. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-662-44584-6_8","year":"2014","author":"Madiot Jean-Marie","key":"e_1_2_1_37_1"},{"volume-title":"Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS","year":"2004","author":"Mislove Michael W.","key":"e_1_2_1_38_1"},{"key":"e_1_2_1_39_1","unstructured":"Damien Pous. 2008. Techniques modulo pour les bisimulations. Ph.D. Dissertation. PhD thesis ENS Lyon.  Damien Pous. 2008. Techniques modulo pour les bisimulations . Ph.D. Dissertation. PhD thesis ENS Lyon."},{"volume-title":"Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015","year":"2015","author":"Sriram","key":"e_1_2_1_40_1"},{"key":"e_1_2_1_41_1","unstructured":"Jurriaan Rot Filippo Bonchi Marcello Bonsangue Damien Pous JJMM Rutten and Alexandra Silva. 2014. Enhanced coalgebraic bisimulation. Mathematical Structures in Computer Science (to appear 2014) (2014).  Jurriaan Rot Filippo Bonchi Marcello Bonsangue Damien Pous JJMM Rutten and Alexandra Silva. 2014. Enhanced coalgebraic bisimulation. Mathematical Structures in Computer Science (to appear 2014) (2014)."},{"key":"e_1_2_1_42_1","doi-asserted-by":"crossref","unstructured":"Jurriaan Rot Marcello M. Bonsangue and Jan J. M. M. Rutten. 2013. Coalgebraic Bisimulation-Up-To. In SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science \u0160pindler\u016fv Ml\u00fdn Czech Republic January 26--31 2013. Proceedings (Lecture Notes in Computer Science) Peter van Emde Boas Frans C. A. Groen Giuseppe F. Italiano Jerzy R. Nawrocki and Harald Sack (Eds.) Vol. 7741. Springer 369--381. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-35843-2_32  Jurriaan Rot Marcello M. Bonsangue and Jan J. M. M. Rutten. 2013. Coalgebraic Bisimulation-Up-To. In SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science \u0160pindler\u016fv Ml\u00fdn Czech Republic January 26--31 2013. Proceedings (Lecture Notes in Computer Science) Peter van Emde Boas Frans C. A. Groen Giuseppe F. Italiano Jerzy R. Nawrocki and Harald Sack (Eds.) Vol. 7741. Springer 369--381. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-35843-2_32","DOI":"10.1007\/978-3-642-35843-2_32"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2013.09.005"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/2283516.2283577"},{"key":"e_1_2_1_46_1","doi-asserted-by":"crossref","unstructured":"Lutz Schr\u00f6der and Yde Venema. 2010. Flat Coalgebraic Fixed Point Logics See Gastin and Laroussinie {2010} 524--538. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-15375-4_36  Lutz Schr\u00f6der and Yde Venema. 2010. Flat Coalgebraic Fixed Point Logics See Gastin and Laroussinie {2010} 524--538. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-15375-4_36","DOI":"10.1007\/978-3-642-15375-4_36"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(61)80020-X"},{"key":"e_1_2_1_48_1","unstructured":"Alexandra Silva. 2010. Kleene Coalgebra. Ph.D. Dissertation. Radboud University Nijmegen.  Alexandra Silva. 2010. Kleene Coalgebra . Ph.D. Dissertation. Radboud University Nijmegen."},{"key":"e_1_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Alexandra Silva Filippo Bonchi Marcello M. Bonsangue and Jan J. M. M. Rutten. 2013. Generalizing determinization from automata to coalgebras. Logical Methods in Computer Science 9 1 (2013). DOI: http:\/\/dx.doi.org\/10.2168\/LMCS-9(1:9)2013  Alexandra Silva Filippo Bonchi Marcello M. Bonsangue and Jan J. M. M. Rutten. 2013. Generalizing determinization from automata to coalgebras. Logical Methods in Computer Science 9 1 (2013). DOI: http:\/\/dx.doi.org\/10.2168\/LMCS-9(1:9)2013","DOI":"10.2168\/LMCS-9(1:9)2013"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676999"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480359.2429091"},{"key":"e_1_2_1_52_1","doi-asserted-by":"crossref","unstructured":"Natsuki Urabe and Ichiro Hasuo. 2014. Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices See Baldan and Gorla {2014} 451--466. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-662-44584-6_31  Natsuki Urabe and Ichiro Hasuo. 2014. Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices See Baldan and Gorla {2014} 451--466. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-662-44584-6_31","DOI":"10.1007\/978-3-662-44584-6_31"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.05.021"},{"key":"e_1_2_1_54_1","doi-asserted-by":"crossref","unstructured":"Joost Winter Marcello M. Bonsangue and Jan J. M. M. Rutten. 2013. Coalgebraic Characterizations of Context-Free Languages. Logical Methods in Computer Science 9 3 (2013). DOI: http:\/\/dx.doi.org\/10.2168\/LMCS-9(3:14)2013  Joost Winter Marcello M. Bonsangue and Jan J. M. M. Rutten. 2013. Coalgebraic Characterizations of Context-Free Languages. Logical Methods in Computer Science 9 3 (2013). DOI: http:\/\/dx.doi.org\/10.2168\/LMCS-9(3:14)2013","DOI":"10.2168\/LMCS-9(3:14)2013"}],"container-title":["ACM SIGLOG News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2766189.2766193","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2766189.2766193","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:20:58Z","timestamp":1750238458000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2766189.2766193"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,22]]},"references-count":54,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4,22]]}},"alternative-id":["10.1145\/2766189.2766193"],"URL":"https:\/\/doi.org\/10.1145\/2766189.2766193","relation":{},"ISSN":["2372-3491"],"issn-type":[{"type":"electronic","value":"2372-3491"}],"subject":[],"published":{"date-parts":[[2015,4,22]]},"assertion":[{"value":"2015-04-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}