@article(adamek2005introduction,
author = {Ad\IeC{\'a}mek, Ji\IeC{\v r}\IeC{\'\i}},
year = {2005},
title = {Introduction to coalgebra.},
journal = {Theory and Applications of Categories [electronic only]},
volume = {14},
pages = {157--199},
)
@inproceedings(BaetenCorradiniGrabmayer2006,
author = {Jos C.~M. Baeten and Flavio Corradini and Clemens Grabmayer},
year = {2006},
title = {On the Star Height of Regular Expressions Under Bisimulation (Extended Abstract)},
series = {EXPRESS '06},
)
@article(BaetenCG07,
author = {Jos C.~M. Baeten and Flavio Corradini and Clemens Grabmayer},
year = {2007},
title = {A characterization of regular expressions under bisimulation},
journal = {J. {ACM}},
volume = {54},
number = {2},
pages = {6},
doi = {10.1145/1219092.1219094},
)
@book(bang0jensengutin2009digraphs,
author = {Bang{-}Jensen, J{\o}rgen and Gregory~Z. Gutin},
year = {2009},
title = {Digraphs - Theory, Algorithms and Applications, Second Edition},
series = {Springer Monographs in Mathematics},
publisher = {Springer},
doi = {10.1007/978-1-84800-998-1},
)
@article(bergstrabethkeponse1994process,
author = {J.~Bergstra and I.~Bethke and A.~Ponse},
year = {1994},
title = {Process Algebra with Iteration and Nesting},
journal = {The Computer Journal},
volume = {37},
number = {4},
pages = {243--258},
doi = {10.1093/comjnl/37.4.243},
eprint = {https://academic.oup.com/comjnl/article-pdf/37/4/243/1067027/370243.pdf},
)
@article(bonsanguemiliussilva2013sound,
author = {Marcello~M. Bonsangue and Stefan Milius and Alexandra Silva},
year = {2013},
title = {Sound and Complete Axiomatizations of Coalgebraic Language Equivalence},
journal = {ACM Trans. Comput. Logic},
volume = {14},
number = {1},
doi = {10.1145/2422085.2422092},
)
@article(brzozowski1964derivatives,
author = {Janusz~A. Brzozowski},
year = {1964},
title = {Derivatives of Regular Expressions},
journal = {J. {ACM}},
volume = {11},
number = {4},
pages = {481--494},
doi = {10.1145/321239.321249},
)
@inproceedings(chenpucella2003coalgebraickat,
author = {Hubie Chen and Riccardo Pucella},
year = {2003},
title = {A Coalgebraic Approach to Kleene Algebra with Tests},
editor = {H.~Peter Gumm},
booktitle = {6th International Workshop on Coalgebraic Methods in Computer Science, {CMCS} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April 5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
publisher = {Elsevier},
pages = {94--109},
doi = {10.1016/S1571-0661(04)80634-0},
)
@book(conway2012regular,
author = {John~Horton Conway},
year = {2012},
title = {Regular algebra and finite machines},
publisher = {Courier Corporation},
)
@inproceedings(fokkink1997perpetual,
author = {Wan Fokkink},
year = {1997},
title = {Axiomatizations for the perpetual loop in process algebra},
editor = {Pierpaolo Degano and Roberto Gorrieri and Marchetti-Spaccamela, Alberto},
booktitle = {Automata, Languages and Programming},
publisher = {Springer Berlin Heidelberg},
address = {Berlin, Heidelberg},
pages = {571--581},
doi = {10.1145/321312.321326},
)
@article(fokkinkzantema1994basic,
author = {Wan~J. Fokkink and Hans Zantema},
year = {1994},
title = {Basic Process Algebra with Iteration: Completeness of its Equational Axioms},
journal = {Comput. J.},
volume = {37},
number = {4},
pages = {259--268},
doi = {10.1093/comjnl/37.4.259},
)
@article(fokkinkzantema1997termination,
author = {Wan~J. Fokkink and Hans Zantema},
year = {1997},
title = {Termination Modulo Equations by Abstract Commutation with an Application to Iteration},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {2},
pages = {407--423},
doi = {10.1016/S0304-3975(96)00254-X},
)
@inproceedings(fosterkozenmilanosilvathompson2015netkat,
author = {Nate Foster and Dexter Kozen and Matthew Milano and Alexandra Silva and Laure Thompson},
year = {2015},
title = {A Coalgebraic Decision Procedure for NetKAT},
editor = {Sriram~K. Rajamani and David Walker},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015},
publisher = {{ACM}},
pages = {343--355},
doi = {10.1145/2676726.2677011},
)
@article(grabmayerfokkink2020complete,
author = {Clemens Grabmayer and Wan Fokkink},
year = {2020},
title = {A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity},
journal = {Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science},
doi = {10.1145/3373718.3394744},
)
@misc(grabmayerfokkink2020extended,
author = {Clemens Grabmayer and Wan Fokkink},
year = {2020},
title = {A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity},
eprint = {2004.12740},
)
@article(gumm1998functorsforcoalgebras,
author = {H.~Gumm},
year = {1998},
title = {Functors for Coalgebras},
journal = {Algebra Universalis},
volume = {45},
doi = {10.1007/s00012-001-8156-x},
)
@inproceedings(gumm1999elements,
author = {H.~Gumm},
year = {1999},
title = {Elements Of The General Theory Of Coalgebras},
)
@article(gummschroeder2001covarieties,
author = {H.~Peter Gumm and Tobias Schr{\"{o}}der},
year = {2001},
title = {Covarieties and complete covarieties},
journal = {Theor. Comput. Sci.},
volume = {260},
number = {1-2},
pages = {71--86},
doi = {10.1016/S0304-3975(00)00123-7},
)
@inproceedings(jacobs2006bialgebraic,
author = {Bart Jacobs},
year = {2006},
title = {A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages},
editor = {Kokichi Futatsugi and Jean{-}Pierre Jouannaud and Jos{\'{e}} Meseguer},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
publisher = {Springer},
pages = {375--404},
doi = {10.1007/11780274\_20},
)
@book(jacobs2016introduction,
author = {Bart Jacobs},
year = {2016},
title = {Introduction to Coalgebra: Towards Mathematics of States and Observation},
series = {Cambridge Tracts in Theoretical Computer Science},
volume = {59},
publisher = {Cambridge University Press},
doi = {10.1017/CBO9781316823187},
)
@inproceedings(jipsen2014concurrent,
author = {Peter Jipsen},
year = {2014},
title = {Concurrent Kleene Algebra with Tests},
editor = {Peter H{\"{o}}fner and Peter Jipsen and Wolfram Kahl and Martin~Eric M{\"{u}}ller},
booktitle = {Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8428},
publisher = {Springer},
pages = {37--48},
doi = {10.1007/978-3-319-06251-8\_3},
)
@article(johnstonepowertsujishitawatanabeworrell2001structure,
author = {Peter~T. Johnstone and John Power and Toru Tsujishita and Hiroshi Watanabe and James Worrell},
year = {2001},
title = {On the structure of categories of coalgebras},
journal = {Theor. Comput. Sci.},
volume = {260},
number = {1-2},
pages = {87--117},
doi = {10.1016/S0304-3975(00)00124-9},
)
@inproceedings(kappebrunetsilvazanasi2017concurrent,
author = {Tobias Kapp{\'e} and Paul Brunet and Alexandra Silva and Fabio Zanasi},
year = {2018},
title = {Concurrent Kleene Algebra: Free Model and Completeness},
editor = {Amal Ahmed},
booktitle = {Programming Languages and Systems},
publisher = {Springer International Publishing},
address = {Cham},
pages = {856--882},
doi = {10.1007/978-3-319-89884-1_30},
)
@inproceedings(kleene1951representation,
author = {S.~Kleene},
year = {1951},
title = {Representation of Events in Nerve Nets and Finite Automata},
)
@inproceedings(kozen1991completeness,
author = {Dexter Kozen},
year = {1991},
title = {A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events},
booktitle = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science {(LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991},
publisher = {{IEEE} Computer Society},
pages = {214--225},
doi = {10.1109/LICS.1991.151646},
)
@inproceedings(kozensmith1996kat,
author = {Dexter Kozen and Frederick Smith},
year = {1996},
title = {Kleene Algebra with Tests: Completeness and Decidability},
editor = {Dirk van Dalen and Marc Bezem},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
publisher = {Springer},
pages = {244--259},
doi = {10.1007/3-540-63172-0\_43},
)
@inproceedings(milius2010streamcircuits,
author = {Stefan Milius},
year = {2010},
title = {A Sound and Complete Calculus for Finite Stream Circuits},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
publisher = {{IEEE} Computer Society},
pages = {421--430},
doi = {10.1109/LICS.2010.11},
)
@article(milner1984complete,
author = {Robin Milner},
year = {1984},
title = {A Complete Inference System for a Class of Regular Behaviours},
journal = {J. Comput. Syst. Sci.},
volume = {28},
number = {3},
pages = {439--466},
doi = {10.1016/0022-0000(84)90023-0},
)
@inproceedings(rutten1998coinduction,
author = {Jan J. M.~M. Rutten},
year = {1998},
title = {Automata and Coinduction (An Exercise in Coalgebra)},
editor = {Davide Sangiorgi and Robert de~Simone},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
publisher = {Springer},
pages = {194--218},
doi = {10.1007/BFb0055624},
)
@article(rutten2000universal,
author = {Jan J. M.~M. Rutten},
year = {2000},
title = {Universal coalgebra: a theory of systems},
journal = {Theor. Comput. Sci.},
volume = {249},
number = {1},
pages = {3--80},
doi = {10.1016/S0304-3975(00)00056-6},
)
@article(salomaa1966two,
author = {Arto Salomaa},
year = {1966},
title = {Two Complete Axiom Systems for the Algebra of Regular Events},
journal = {J. {ACM}},
volume = {13},
number = {1},
pages = {158--169},
doi = {10.1145/321312.321326},
)
@inproceedings(schmidkappekozensilva2021gkat,
author = {Todd Schmid and Tobias Kapp\'{e} and Dexter Kozen and Alexandra Silva},
year = {2021},
title = {{Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness}},
editor = {Nikhil Bansal and Emanuela Merelli and James Worrell},
booktitle = {48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
volume = {198},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
pages = {142:1--142:14},
doi = {10.4230/LIPIcs.ICALP.2021.142},
)
@misc(schmid2021star,
author = {Todd Schmid and Jurriaan Rot and Alexandra Silva},
year = {2021},
title = {On Star Expressions and Coalgebraic Completeness Theorems},
eprint = {2106.08074},
)
@phdthesis(silva2010kleene,
author = {Alexandra Silva},
year = {2010},
title = {Kleene coalgebra},
school = {University of Nijmegen},
)
@article(silvabonsanguerutten2010nondeterministic,
author = {Alexandra Silva and Marcello Bonsangue and Jan Rutten},
year = {2010},
title = {Non-Deterministic Kleene Coalgebras},
journal = {Logical Methods in Computer Science},
volume = {6},
number = {3},
doi = {10.2168/lmcs-6(3:23)2010},
)
@article(smolkafosterhsukappekozensilva2019gkat,
author = {Steffen Smolka and Nate Foster and Justin Hsu and Tobias Kapp\'{e} and Dexter Kozen and Alexandra Silva},
year = {2019},
title = {Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time},
journal = {Proc. ACM Program. Lang.},
volume = {4},
number = {POPL},
doi = {10.1145/3371129},
)
@inproceedings(turiplotkin1997operational,
author = {Daniele Turi and Gordon~D. Plotkin},
year = {1997},
title = {Towards a Mathematical Operational Semantics},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997},
publisher = {{IEEE} Computer Society},
pages = {280--291},
doi = {10.1109/LICS.1997.614955},
)