{"id":"https://openalex.org/W2950625645","doi":"https://doi.org/10.1109/lics.2017.8005151","title":"Categorical liveness checking by corecursive algebras","display_name":"Categorical liveness checking by corecursive algebras","publication_year":2017,"publication_date":"2017-06-01","ids":{"openalex":"https://openalex.org/W2950625645","doi":"https://doi.org/10.1109/lics.2017.8005151","mag":"2950625645"},"language":"en","primary_location":{"id":"doi:10.1109/lics.2017.8005151","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2017.8005151","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057371246","display_name":"Natsuki Urabe","orcid":"https://orcid.org/0000-0002-1554-6618"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Natsuki Urabe","raw_affiliation_strings":["Dept. Computer Science, The University of Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. Computer Science, The University of Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102023244","display_name":"Masaki Hara","orcid":"https://orcid.org/0009-0006-7868-3595"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masaki Hara","raw_affiliation_strings":["Dept. Computer Science, The University of Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. Computer Science, The University of Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013382452","display_name":"Ichiro Hasuo","orcid":"https://orcid.org/0000-0002-8300-4650"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ichiro Hasuo","raw_affiliation_strings":["National Institute of Informatics, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Japan","institution_ids":["https://openalex.org/I184597095"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5537,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.72475556,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9990000128746033,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9988999962806702,"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/liveness","display_name":"Liveness","score":0.9082326889038086},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.6207363605499268},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.618403971195221},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34666162729263306},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3335687518119812},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32750004529953003},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1462918519973755}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9082326889038086},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.6207363605499268},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.618403971195221},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34666162729263306},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3335687518119812},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32750004529953003},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1462918519973755}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lics.2017.8005151","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2017.8005151","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2044468453","display_name":"Supporting Manufacturing by Category Theory and Mathematical Logic: Transfer of Software Science to Systems Engineering","funder_award_id":"15KT0012","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G4265014410","display_name":"\u5b9a\u6027\u7684\u691c\u8a3c\u624b\u6cd5\u306e\u4f59\u4ee3\u6570\u306b\u3088\u308b\u4e00\u822c\u5316\u3068\uff0c\u5b9a\u91cf\u7684\u691c\u8a3c\u624b\u6cd5\u306e\u5c0e\u51fa","funder_award_id":"16J08157","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G969213138","display_name":"Probabilistic Extension of Geometry of Interaction--from Categorical Semantics to Big Data","funder_award_id":"15K11984","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W45151810","https://openalex.org/W72346910","https://openalex.org/W79336753","https://openalex.org/W1505081061","https://openalex.org/W1543688617","https://openalex.org/W1576151803","https://openalex.org/W1605543919","https://openalex.org/W1878466686","https://openalex.org/W1971383138","https://openalex.org/W1984184513","https://openalex.org/W2002025616","https://openalex.org/W2024873396","https://openalex.org/W2033709930","https://openalex.org/W2034224051","https://openalex.org/W2039025680","https://openalex.org/W2069300761","https://openalex.org/W2072816256","https://openalex.org/W2082241908","https://openalex.org/W2087403174","https://openalex.org/W2088189323","https://openalex.org/W2111654715","https://openalex.org/W2124315269","https://openalex.org/W2135346163","https://openalex.org/W2166496828","https://openalex.org/W2188068291","https://openalex.org/W2242694813","https://openalex.org/W2250074872","https://openalex.org/W2278026657","https://openalex.org/W2282180738","https://openalex.org/W2284153224","https://openalex.org/W2347010600","https://openalex.org/W2574983198","https://openalex.org/W2575731723","https://openalex.org/W2591192832","https://openalex.org/W2950625645","https://openalex.org/W3101634683","https://openalex.org/W3101910935","https://openalex.org/W3102411746","https://openalex.org/W4251912342","https://openalex.org/W4254547512","https://openalex.org/W6602924617","https://openalex.org/W6634527239","https://openalex.org/W6691028268","https://openalex.org/W6695061179"],"related_works":["https://openalex.org/W2081199208","https://openalex.org/W1565271071","https://openalex.org/W3349016","https://openalex.org/W3160870209","https://openalex.org/W2494011163","https://openalex.org/W2139648957","https://openalex.org/W1481041875","https://openalex.org/W2391970076","https://openalex.org/W2053262709","https://openalex.org/W2360699417"],"abstract_inverted_index":{"Final":[0],"coalgebras":[1],"as":[2,50,95],"\u201ccategorical":[3],"greatest":[4,26],"fixed":[5],"points\u201d":[6],"play":[7],"a":[8,36,55,81,96],"central":[9],"role":[10],"in":[11,80],"the":[12,90],"theory":[13],"of":[14,58,84],"coalgebras.":[15,51],"Somewhat":[16],"analogously,":[17],"most":[18],"proof":[19,40,60],"methods":[20,41,61],"studied":[21],"therein":[22],"have":[23],"focused":[24],"on":[25],"fixed-point":[27,44],"properties":[28,45],"like":[29],"safety":[30],"and":[31,70,92],"bisimilarity.":[32],"Here":[33],"we":[34,53],"make":[35],"step":[37],"towards":[38],"categorical":[39,56],"for":[42,62,98],"least":[43],"over":[46],"dynamical":[47],"systems":[48],"modeled":[49],"Concretely,":[52],"seek":[54],"axiomatization":[57],"well-known":[59],"liveness,":[63],"namely":[64],"ranking":[65,71],"functions":[66],"(in":[67,73],"nondeterministic":[68],"settings)":[69],"supermartingales":[72],"probabilistic":[74],"ones).":[75],"We":[76],"find":[77],"an":[78],"answer":[79],"suitable":[82],"combination":[83],"coalgebraic":[85],"simulation":[86],"(studied":[87],"previously":[88],"by":[89],"authors)":[91],"corecursive":[93],"algebra":[94],"classifier":[97],"(non-)well-foundedness.":[99]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}