{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:44:18Z","timestamp":1780994658832,"version":"3.54.1"},"reference-count":39,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005151","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T16:43:24Z","timestamp":1502383404000},"page":"1-12","source":"Crossref","is-referenced-by-count":11,"title":["Categorical liveness checking by corecursive algebras"],"prefix":"10.1109","author":[{"given":"Natsuki","family":"Urabe","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Masaki","family":"Hara","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ichiro","family":"Hasuo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2933610"},{"key":"ref38","first-page":"24:1","article-title":"Coalgebraic trace semantics for Büchi and parity automata","volume":"59","author":"urabe","year":"2016","journal-title":"Proc CONCUR 2016 LIPIcs"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(80)90003-1"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-32033-3_24"},{"key":"ref31","author":"plotkin","year":"1983","journal-title":"Notes on domains (pisa notes)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1979.82.43"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837673"},{"key":"ref36","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/3-540-46541-3_24","article-title":"Small progress measures for solving parity games","volume":"1770","author":"jurdzinski","year":"2000","journal-title":"STACS Lecture Notes in Comp Sci"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.39.10.1953"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796816000022"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0018361"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/11817949_27"},{"key":"ref12","first-page":"320","article-title":"Coalgebraic infinite traces and kleisli simulations","author":"urabe","year":"2015","journal-title":"Proc CALCO 2015 LIPIcs 35"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10452-7_7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1137\/0211062"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0084215"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-3(4:11)2007"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.03.047"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2935319"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1462179.1462185"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-9(3:2)2013"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","article-title":"Assigning meanings to programs","volume":"19","author":"floyd","year":"1967","journal-title":"Proc of a Symposium in Applied Mathematics"},{"key":"ref27","author":"taylor","year":"1999","journal-title":"Practical foundations of mathematics ser Cambridge studies in advanced mathematics"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2014.20"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677001"},{"key":"ref29","first-page":"221","article-title":"Final coalgebras from corecursive algebras","volume":"35","author":"levy","year":"2015","journal-title":"Proc CALCO 2015 LIPIcs"},{"key":"ref5","first-page":"511","article-title":"Probabilistic program analysis with martingales","volume":"8044","author":"chakarov","year":"2013","journal-title":"Proc CAV 2013 Lect Notes Comput Sci"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"ref7","author":"jacobs","year":"2016","journal-title":"Introduction to coalgebra Towards mathematics of states and observations"},{"key":"ref2","first-page":"52","article-title":"A liveness checking algorithm that counts","author":"claessen","year":"2012","journal-title":"Proc FMCAD 2012 IEEE"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.05.008"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.11.018"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005151"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(84)90003-0"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54833-8_22"},{"key":"ref24","author":"chakarov","year":"2016","journal-title":"Deductive verification of infinite-state stochastic systems using martingales"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-2(4:6)2006"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(74)90032-2"},{"key":"ref25","volume":"5","author":"mac lane","year":"1998","journal-title":"Categories for the Working Mathematician"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Reykjavik, Iceland","start":{"date-parts":[[2017,6,20]]},"end":{"date-parts":[[2017,6,23]]}},"container-title":["2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999337\/8005055\/08005151.pdf?arnumber=8005151","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T03:39:50Z","timestamp":1569987590000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005151\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005151","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}