{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T20:13:07Z","timestamp":1774987987890,"version":"3.50.1"},"reference-count":15,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,7,1]],"date-time":"2003-07-01T00:00:00Z","timestamp":1057017600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3681,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,7]]},"DOI":"10.1016\/s1571-0661(04)80634-0","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"94-109","source":"Crossref","is-referenced-by-count":6,"title":["A Coalgebraic Approach to Kleene Algebra with Tests"],"prefix":"10.1016","volume":"82","author":[{"given":"Hubie","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Pucella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80634-0_NEWBIB1","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1145\/321239.321249","article-title":"Derivatives of regular expressions","volume":"11","author":"Brzozowski","year":"1964","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1571-0661(04)80634-0_NEWBIB2","series-title":"\u201cRegular Algebra and Finite Machines\u201d","author":"Conway","year":"1971"},{"key":"10.1016\/S1571-0661(04)80634-0_NEWBIB3","series-title":"\u201cIntroduction to Automata Theory, Languages, and Computation\u201d","author":"Hopcroft","year":"1979"},{"key":"10.1016\/S1571-0661(04)80634-0_NEWBIB4","series-title":"Automata Studies","first-page":"3","article-title":"Representation of events in nerve nets and finite automata","author":"Kleene","year":"1956"},{"key":"10.1016\/S1571-0661(04)80634-0_NEWBIB5","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1006\/inco.1994.1037","article-title":"A completeness theorem for Kleene algebras and the algebra of regular events","volume":"110","author":"Kozen","year":"1994","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)80634-0_NEWBIB6","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1145\/256167.256195","article-title":"Kleene algebra with tests","volume":"19","author":"Kozen","year":"1997","journal-title":"Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)80634-0_NEWBIB7","unstructured":"Kozen D., Typed Kleene algebra, Technical Report 98-1669, Computer Science Department, Cornell University (1998)."},{"key":"10.1016\/S1571-0661(04)80634-0_NEWBIB8","doi-asserted-by":"crossref","unstructured":"Kozen D., On Hoare logic and Kleene algebra with tests, in: Proceedings of the Conference on Logic in Computer Science (LICS'99) (1999), pp. 167\u2013172.","DOI":"10.1109\/LICS.1999.782610"},{"key":"10.1016\/S1571-0661(04)80634-0_NEWBIB9","unstructured":"Kozen D., Automata on guarded strings and applications, Technical Report 2001-1833, Computer Science Department, Cornell University (2001), to appear in Mat\u00e9matica Contempora\u00e2nea."},{"key":"10.1016\/S1571-0661(04)80634-0_NEWBIB10","unstructured":"Kozen, D., On Hoare logic, Kleene algebra, and types, in: Scope of Logic, Methodology, and Philosophy of Science: Volume 1 of the 11th Int. Congress Logic, Methodology and Philosophy of Science, Cracow, August 1999, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 315, Kluwer, 2002 pp. 119\u2013133."},{"key":"10.1016\/S1571-0661(04)80634-0_NEWBIB11","unstructured":"Kozen D. and F. Smith, Kleene algebra with tests: Completeness and decidability, in: Proceedings of the 10th Workshop on Computer Science Logic (CSL'96), Lecture Notes in Computer Science 1258 (1996), pp. 244\u2013259."},{"key":"10.1016\/S1571-0661(04)80634-0_NEWBIB12","doi-asserted-by":"crossref","unstructured":"Rutten, J. J. M. M., Automata and coinduction (an exercise in coalgebra), in: Proceedings of CONCUR'98, Lecture Notes in Computer Science 1466, 1998, pp. 193\u2013217.","DOI":"10.1007\/BFb0055624"},{"key":"10.1016\/S1571-0661(04)80634-0_NEWBIB13","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1051\/ita:1999125","article-title":"A note on coinduction and weak bisimilarity for while programs","volume":"33","author":"Rutten","year":"1999","journal-title":"Theoretical Informatics and Applications (RAIRO)"},{"key":"10.1016\/S1571-0661(04)80634-0_NEWBIB14","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","article-title":"Universal coalgebra: a theory of systems","volume":"249","author":"Rutten","year":"2000","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80634-0_NEWBIB15","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1145\/321312.321326","article-title":"Two complete axiom systems for the algebra of regular events","volume":"13","author":"Salomaa","year":"1966","journal-title":"Journal of the ACM"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806340?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806340?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:53:42Z","timestamp":1549191222000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104806340"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,7]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,7]]}},"alternative-id":["S1571066104806340"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80634-0","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,7]]}}}