@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}, )