@inproceedings(adamek2012coalgebraic,
author = {Ji{\v{r}}{\'\i} Ad{\'a}mek and Filippo Bonchi and Mathias H{\"u}lsbusch and Barbara K{\"o}nig and Stefan Milius and Alexandra Silva},
year = {2012},
title = {A coalgebraic perspective on minimization and determinization},
booktitle = {International Conference on Foundations of Software Science and Computational Structures},
organization = {Springer},
pages = {58--73},
doi = {10.1007/978-3-642-28729-9_4},
)
@article(angluin1987learning,
author = {Dana Angluin},
year = {1987},
title = {Learning regular sets from queries and counterexamples},
journal = {Information and computation},
volume = {75},
number = {2},
pages = {87--106},
doi = {10.1016/0890-5401(87)90052-6},
)
@inproceedings(angluin2015learning,
author = {Dana Angluin and Sarah Eisenstat and Dana Fisman},
year = {2015},
title = {Learning regular languages via alternating automata},
booktitle = {IJCAI},
pages = {3308--3314},
)
@article(arbib1975fuzzy,
author = {Michael~A Arbib and Ernest~G Manes},
year = {1975},
title = {Fuzzy machines in a category},
journal = {Bulletin of the Australian Mathematical Society},
volume = {13},
number = {2},
pages = {169--210},
doi = {10.1017/S0004972700024412},
)
@book(awodey2010category,
author = {Steve Awodey},
year = {2010},
title = {Category theory},
publisher = {Oxford university press},
)
@inproceedings(beck1969distributive,
author = {Jon Beck},
year = {1969},
title = {Distributive laws},
booktitle = {Seminar on triples and categorical homology theory},
organization = {Springer},
pages = {119--140},
doi = {10.1007/BFb0083084},
)
@inproceedings(berndt2017learning,
author = {Sebastian Berndt and Maciej Li{\'s}kiewicz and Matthias Lutter and R{\"u}diger Reischuk},
year = {2017},
title = {Learning residual alternating automata},
booktitle = {Thirty-First AAAI Conference on Artificial Intelligence},
)
@article(bonchi2014algebra,
author = {Filippo Bonchi and Marcello~M Bonsangue and Helle~H Hansen and Prakash Panangaden and Jan~JMM Rutten and Alexandra Silva},
year = {2014},
title = {Algebra-coalgebra duality in Brzozowski's minimization algorithm},
journal = {ACM Transactions on Computational Logic (TOCL)},
volume = {15},
number = {1},
pages = {1--29},
doi = {10.1145/2490818},
)
@incollection(bonchi2012brzozowski,
author = {Filippo Bonchi and Marcello~M Bonsangue and Jan~JMM Rutten and Alexandra Silva},
year = {2012},
title = {Brzozowski\IeC{\textquoteright}s algorithm (co) algebraically},
booktitle = {Logic and Program Semantics},
publisher = {Springer},
pages = {12--23},
doi = {10.1007/978-3-642-29485-3_2},
)
@inproceedings(bonsangue2013presenting,
author = {Marcello~M Bonsangue and Helle~Hvid Hansen and Alexander Kurz and Jurriaan Rot},
year = {2013},
title = {Presenting distributive laws},
booktitle = {International Conference on Algebra and Coalgebra in Computer Science},
organization = {Springer},
pages = {95--109},
doi = {10.1007/978-3-642-40206-7_9},
)
@inproceedings(brzozowski1962canonical,
author = {Janusz~A Brzozowski},
year = {1962},
title = {Canonical regular expressions and minimal state graphs for definite events},
booktitle = {Proc. Symposium of Mathematical Theory of Automata},
pages = {529--561},
)
@article(BrzozowskiT14,
author = {Janusz~A. Brzozowski and Hellis Tamm},
year = {2014},
title = {Theory of {\'{a}}tomata},
journal = {Theor. Comput. Sci.},
volume = {539},
pages = {13--27},
doi = {10.1016/j.tcs.2014.04.016},
)
@inproceedings(DenisLT02,
author = {Fran{\c{c}}ois Denis and Aur{\'e}lien Lemay and Alain Terlutte},
year = {2001},
title = {Residual finite state automata},
booktitle = {STACS 2001},
publisher = {Springer Berlin Heidelberg},
address = {Berlin, Heidelberg},
pages = {144--157},
doi = {10.1007/3-540-44693-1_13},
)
@article(eilenberg1965adjoint,
author = {Samuel Eilenberg and John~C Moore},
year = {1965},
title = {Adjoint functors and triples},
journal = {Illinois Journal of Mathematics},
volume = {9},
number = {3},
pages = {381--398},
doi = {10.1215/ijm/1256068141},
)
@inproceedings(esposito2002learning,
author = {Yann Esposito and Aur{\'e}lien Lemay and Fran{\c{c}}ois Denis and Pierre Dupont},
year = {2002},
title = {Learning probabilistic residual finite state automata},
booktitle = {International Colloquium on Grammatical Inference},
organization = {Springer},
pages = {77--91},
doi = {10.1007/3-540-45790-9_7},
)
@inproceedings(hansen2014strong,
author = {Helle~Hvid Hansen and Clemens Kupke and Raul~Andres Leal},
year = {2014},
title = {Strong completeness for iteration-free coalgebraic dynamic logics},
booktitle = {IFIP International Conference on Theoretical Computer Science},
organization = {Springer},
pages = {281--295},
doi = {10.1007/978-3-662-44602-7_22},
)
@mastersthesis(van2016master,
author = {Gerco van Heerdt},
year = {2016},
title = {An abstract automata learning framework},
school = {Radboud University Nijmegen},
)
@phdthesis(van2020phd,
author = {Gerco van Heerdt},
year = {2020},
title = {{CALF}: Categorical automata learning framework},
school = {University College London},
)
@article(HeerdtMSS19,
author = {Gerco van Heerdt and Joshua Moerman and Matteo Sammartino and Alexandra Silva},
year = {2019},
title = {A (co)algebraic theory of succinct automata},
journal = {J. Log. Algebraic Methods Program.},
volume = {105},
pages = {112--125},
doi = {10.1016/j.jlamp.2019.02.008},
)
@inproceedings(van2017learning,
author = {Gerco van Heerdt and Matteo Sammartino and Alexandra Silva},
year = {2020},
title = {Learning automata with side-effects},
booktitle = {Coalgebraic Methods in Computer Science - 15th {IFIP} {WG} 1.3 International Workshop, {CMCS} 2020, Colocated with {ETAPS} 2020, Dublin, Ireland, April 25-26, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12094},
publisher = {Springer},
pages = {68--89},
doi = {10.1007/978-3-030-57201-3_5},
)
@inbook(jacobs2005bialgebraic,
author = {Bart Jacobs},
year = {2006},
title = {A bialgebraic review of deterministic automata, regular expressions and languages},
pages = {375--404},
publisher = {Springer Berlin Heidelberg},
address = {Berlin, Heidelberg},
doi = {10.1007/11780274_20},
)
@inproceedings(jacobs2011bases,
author = {Bart Jacobs},
year = {2011},
title = {Bases as coalgebras},
booktitle = {International conference on algebra and coalgebra in computer science},
organization = {Springer},
pages = {237--252},
doi = {10.2168/LMCS-9(3:23)2013},
)
@inproceedings(jacobs2015recipe,
author = {Bart Jacobs},
year = {2015},
title = {A recipe for state-and-effect triangles},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
organization = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik},
doi = {10.4230/LIPIcs.CALCO.2015.116},
)
@inproceedings(jacobs2012trace,
author = {Bart Jacobs and Alexandra Silva and Ana Sokolova},
year = {2012},
title = {Trace semantics via determinization},
booktitle = {International Workshop on Coalgebraic Methods in Computer Science},
organization = {Springer},
pages = {109--129},
doi = {10.1007/978-3-642-32784-1_7},
)
@article(jacobs2015trace,
author = {Bart Jacobs and Alexandra Silva and Ana Sokolova},
year = {2015},
title = {Trace semantics via determinization},
journal = {Journal of Computer and System Sciences},
volume = {81},
number = {5},
pages = {859--879},
doi = {10.1016/j.jcss.2014.12.005},
)
@article(klin2004coalgebraic,
author = {Bartek Klin},
year = {2004},
title = {A coalgebraic approach to process equivalence and a coinduction principle for traces},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {106},
pages = {201--218},
doi = {10.1016/j.entcs.2004.02.029},
)
@inproceedings(klin2015presenting,
author = {Bartek Klin and Beata Nachyla},
year = {2015},
title = {Presenting morphisms of distributive laws},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
organization = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik},
)
@inproceedings(linton1966some,
author = {Fred~EJ Linton},
year = {1966},
title = {Some aspects of equational categories},
booktitle = {Proceedings of the Conference on Categorical Algebra},
organization = {Springer},
pages = {84--94},
doi = {10.1007/978-3-642-99902-4_3},
)
@inproceedings(moerman2019residual,
author = {Joshua Moerman and Matteo Sammartino},
year = {2020},
title = {Residual nominal automata},
booktitle = {{CONCUR}},
volume = {171},
pages = {44:1--44:21},
doi = {10.4230/LIPIcs.CONCUR.2020.44},
)
@book(moggi1988computational,
author = {Eugenio Moggi},
year = {1988},
title = {Computational lambda-calculus and monads},
publisher = {University of Edinburgh, Department of Computer Science, Laboratory for Foundations of Computer Science},
)
@book(moggi1990abstract,
author = {Eugenio Moggi},
year = {1990},
title = {An abstract view of programming languages},
publisher = {University of Edinburgh, Department of Computer Science, Laboratory for Foundations of Computer Science},
)
@article(moggi1991notions,
author = {Eugenio Moggi},
year = {1991},
title = {Notions of computation and monads},
journal = {Information and computation},
volume = {93},
number = {1},
pages = {55--92},
doi = {10.1016/0890-5401(91)90052-4},
)
@article(MyersAMU15,
author = {Robert S.~R. Myers and Jiri Adamek and Stefan Milius and Henning Urbat},
year = {2015},
title = {Coalgebraic constructions of canonical nondeterministic automata},
journal = {Theor. Comput. Sci.},
volume = {604},
pages = {81--101},
doi = {10.1016/j.tcs.2015.03.035},
)
@article(nerode1958linear,
author = {Anil Nerode},
year = {1958},
title = {Linear automaton transformations},
journal = {Proceedings of the American Mathematical Society},
volume = {9},
number = {4},
pages = {541--544},
doi = {10.1090/S0002-9939-1958-0135681-9},
)
@article(power2002combining,
author = {John Power and Hiroshi Watanabe},
year = {2002},
title = {Combining a monad and a comonad},
journal = {Theoretical Computer Science},
volume = {280},
number = {1-2},
pages = {137--162},
doi = {10.1016/S0304-3975(01)00024-X},
)
@article(rutten2013generalizing,
author = {Jan Rutten and Marcello Bonsangue and Filippo Bonchi and Alexandra Silva},
year = {2013},
title = {Generalizing determinization from automata to coalgebras},
journal = {Logical Methods in Computer Science},
volume = {9},
doi = {10.2168/LMCS-9(1:9)2013},
)
@article(rutten2000universal,
author = {Jan~JMM Rutten},
year = {2000},
title = {Universal coalgebra: a theory of systems},
journal = {Theoretical computer science},
volume = {249},
number = {1},
pages = {3--80},
doi = {10.1016/S0304-3975(00)00056-6},
)
@article(schroder2008expressivity,
author = {Lutz Schr{\"o}der},
year = {2008},
title = {Expressivity of coalgebraic modal logic: The limits and beyond},
journal = {Theoretical Computer Science},
volume = {390},
number = {2-3},
pages = {230--247},
doi = {10.1016/j.tcs.2007.09.023},
)
@inproceedings(silva2010generalizing,
author = {Alexandra Silva and Filippo Bonchi and Marcello~M Bonsangue and Jan~JMM Rutten},
year = {2010},
title = {Generalizing the powerset construction, coalgebraically},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)},
organization = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik},
)
@article(Street2009,
author = {Ross Street},
year = {2009},
title = {Weak distributive laws.},
journal = {Theory and Applications of Categories [electronic only]},
volume = {22},
pages = {313--320},
)
@article(taylor2002subspaces,
author = {Paul Taylor},
year = {2002},
title = {Subspaces in abstract stone duality},
journal = {Theory and Applications of Categories},
volume = {10},
number = {13},
pages = {301--368},
)
@article(VuilleminG210,
author = {Jean Vuillemin and Nicolas Gama},
year = {2010},
title = {Efficient equivalence and minimization for non deterministic xor automata},
)
@article(watanabe2002well,
author = {Hiroshi Watanabe},
year = {2002},
title = {Well-behaved translations between structural operational semantics},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {1},
pages = {337--357},
doi = {10.1016/S1571-0661(04)80372-4},
)
@article(arxiv,
author = {Stefan Zetzsche and Gerco van Heerdt and Matteo Sammartino and Alexandra Silva},
year = {2021},
title = {Canonical automata via distributive law homomorphisms},
journal = {arXiv preprint arXiv:2104.13421},
)
@inproceedings(zwart2019no,
author = {Maaike Zwart and Dan Marsden},
year = {2019},
title = {No-go theorems for distributive laws},
booktitle = {2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
organization = {IEEE},
pages = {1--13},
doi = {10.1109/LICS.2019.8785707},
)