{"id":"https://openalex.org/W2116571997","doi":"https://doi.org/10.1145/2422085.2422092","title":"Sound and Complete Axiomatizations of Coalgebraic Language Equivalence","display_name":"Sound and Complete Axiomatizations of Coalgebraic Language Equivalence","publication_year":2013,"publication_date":"2013-02-01","ids":{"openalex":"https://openalex.org/W2116571997","doi":"https://doi.org/10.1145/2422085.2422092","mag":"2116571997"},"language":"en","primary_location":{"id":"doi:10.1145/2422085.2422092","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2422085.2422092","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1104.2803","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Marcello M. Bonsangue","orcid":null},"institutions":[{"id":"https://openalex.org/I4210155092","display_name":"Czech Academy of Sciences, Institute of Computer Science","ror":"https://ror.org/0496n6574","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Marcello M. Bonsangue","raw_affiliation_strings":["Leiden Institute of Advanced Computer Science"],"affiliations":[{"raw_affiliation_string":"Leiden Institute of Advanced Computer Science","institution_ids":["https://openalex.org/I4210155092"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Stefan Milius","orcid":null},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Milius","raw_affiliation_strings":["Technische Universit\u00e4t Braunschweig"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Braunschweig","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"last","author":{"id":null,"display_name":"Alexandra Silva","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Alexandra Silva","raw_affiliation_strings":["Radboud University Nijmegen"],"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210155092"],"apc_list":null,"apc_paid":null,"fwci":8.4022,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.97402031,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"14","issue":"1","first_page":"1","last_page":"52"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.8428999781608582,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.8428999781608582,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.055399999022483826,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.02500000037252903,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.703499972820282},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.661899983882904},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.6445000171661377},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5848000049591064},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5444999933242798},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.5199999809265137},{"id":"https://openalex.org/keywords/fixed-point","display_name":"Fixed point","score":0.5153999924659729},{"id":"https://openalex.org/keywords/quotient","display_name":"Quotient","score":0.4521999955177307}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7501000165939331},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.703499972820282},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.661899983882904},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.6445000171661377},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5848000049591064},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5444999933242798},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.5199999809265137},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.5153999924659729},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.4521999955177307},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.4311999976634979},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3937999904155731},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3824999928474426},{"id":"https://openalex.org/C33959348","wikidata":"https://www.wikidata.org/wiki/Q1630568","display_name":"Monad (category theory)","level":3,"score":0.37560001015663147},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.37540000677108765},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.36169999837875366},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.34139999747276306},{"id":"https://openalex.org/C9973445","wikidata":"https://www.wikidata.org/wiki/Q8349849","display_name":"Congruence relation","level":2,"score":0.34130001068115234},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.3402000069618225},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.33889999985694885},{"id":"https://openalex.org/C2778249326","wikidata":"https://www.wikidata.org/wiki/Q1777803","display_name":"Coalgebra","level":3,"score":0.3203999996185303},{"id":"https://openalex.org/C30014739","wikidata":"https://www.wikidata.org/wiki/Q5159445","display_name":"Cone (formal languages)","level":2,"score":0.2903999984264374},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.288100004196167},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.2637999951839447}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1145/2422085.2422092","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2422085.2422092","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1104.2803","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1104.2803","pdf_url":"https://arxiv.org/pdf/1104.2803","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:repositorium.sdum.uminho.pt:1822/35523","is_oa":true,"landing_page_url":"http://hdl.handle.net/1822/35523","pdf_url":null,"source":{"id":"https://openalex.org/S4306400354","display_name":"Reposit\u00f3riUM (Universidade do Minho)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99682543","host_organization_name":"University of Minho","host_organization_lineage":["https://openalex.org/I99682543"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"pmh:oai:repositorium.uminho.pt:1822/35523","is_oa":true,"landing_page_url":"https://hdl.handle.net/1822/35523","pdf_url":null,"source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/111253","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/111253","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Computational Logic, 14, 1, pp. 7(1)-7(52)","raw_type":"Article / Letter to editor"},{"id":"pmh:oai:scholarlypublications.universiteitleiden.nl:item_2863454","is_oa":false,"landing_page_url":"https://hdl.handle.net/1887/59681","pdf_url":null,"source":{"id":"https://openalex.org/S4306400850","display_name":"Leiden Repository (Leiden University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I121797337","host_organization_name":"Leiden University","host_organization_lineage":["https://openalex.org/I121797337"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"Article / Letter to editor"},{"id":"pmh:ul:oai:scholarlypublications.universiteitleiden.nl:item_2863454","is_oa":true,"landing_page_url":"http://hdl.handle.net/1887/59681","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Computational Logic, 14(1), 7","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1104.2803","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1104.2803","pdf_url":"https://arxiv.org/pdf/1104.2803","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G842329582","display_name":null,"funder_award_id":"SFRH/BPD/71956/2010","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"}],"funders":[{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W137476671","https://openalex.org/W1562657365","https://openalex.org/W1570445666","https://openalex.org/W1595870841","https://openalex.org/W1616653757","https://openalex.org/W1642637401","https://openalex.org/W1969587526","https://openalex.org/W1972892796","https://openalex.org/W1984151763","https://openalex.org/W1984467134","https://openalex.org/W1996864014","https://openalex.org/W2008967744","https://openalex.org/W2025693575","https://openalex.org/W2027874150","https://openalex.org/W2042266169","https://openalex.org/W2053682188","https://openalex.org/W2061152365","https://openalex.org/W2075690166","https://openalex.org/W2081620669","https://openalex.org/W2083527366","https://openalex.org/W2085858043","https://openalex.org/W2088189323","https://openalex.org/W2090223152","https://openalex.org/W2095956808","https://openalex.org/W2099019799","https://openalex.org/W2107354844","https://openalex.org/W2111270089","https://openalex.org/W2120834341","https://openalex.org/W2135346163","https://openalex.org/W2137891929","https://openalex.org/W2149366752","https://openalex.org/W2149887641","https://openalex.org/W2163152086","https://openalex.org/W2166421074","https://openalex.org/W4210428601","https://openalex.org/W4230324580","https://openalex.org/W4240176614","https://openalex.org/W6611509941","https://openalex.org/W6621512522","https://openalex.org/W6630104300","https://openalex.org/W6634150850"],"related_works":[],"abstract_inverted_index":{"Coalgebras":[0],"provide":[1],"a":[2,29,50,58,80,107,122,134,159,170],"uniform":[3,30],"framework":[4,147],"for":[5,155,165,186],"studying":[6],"dynamical":[7],"systems,":[8],"including":[9],"several":[10],"types":[11],"of":[12,20,79,86,99,112,127,136,141,152],"automata.":[13],"In":[14],"this":[15],"article,":[16],"we":[17,157,173,179],"make":[18],"use":[19],"the":[21,83,87,96,100,110,113,124,128,139,149],"coalgebraic":[22,52],"view":[23],"on":[24],"systems":[25,114],"to":[26,43,49,138,148],"investigate,":[27],"in":[28,177],"way,":[31],"under":[32],"which":[33,55,156,178],"conditions":[34],"calculi":[35],"that":[36,62,67,75,95],"are":[37,71],"sound":[38,161,182],"and":[39,69,162,183],"complete":[40,163,184],"with":[41],"respect":[42],"behavioral":[44],"equivalence":[45],"can":[46],"be":[47],"extended":[48],"coarser":[51],"language":[53,167,187],"equivalence,":[54],"arises":[56],"from":[57],"generalized":[59],"powerset":[60],"construction":[61],"determinizes":[63],"coalgebras.":[64],"We":[65,144],"show":[66],"soundness":[68],"completeness":[70],"established":[72],"by":[73],"proving":[74],"expressions":[76],"modulo":[77],"axioms":[78],"calculus":[81,164,185],"form":[82],"rational":[84,97,125],"fixpoint":[85,98,126],"given":[88],"type":[89,130],"functor.":[90],"Our":[91],"main":[92],"result":[93],"is":[94,106],"functor":[101,131],"FT":[102],",":[103,133],"where":[104],"T":[105,142],"monad":[108],"describing":[109],"branching":[111],"(e.g.,":[115],"non-determinism,":[116],"weights,":[117],"probability,":[118],"etc.),":[119],"has":[120],"as":[121],"quotient":[123],"determinized":[129],"F":[132,137],"lifting":[135],"category":[140],"-algebras.":[143],"apply":[145],"our":[146],"concrete":[150],"example":[151],"weighted":[153,166],"automata,":[154],"present":[158],"new":[160],"equivalence.":[168,188],"As":[169],"special":[171],"case,":[172],"obtain":[174],"nondeterministic":[175],"automata":[176],"recover":[180],"Rabinovich\u2019s":[181]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":8},{"year":2013,"cited_by_count":2}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2016-06-24T00:00:00"}