@article{3843c4ed5ccd428da0580f9f2fb12110,
title = "Canonical Automata via Distributive Law Homomorphisms",
author = "Stefan Zetzsche and {van Heerdt}, Gerco and Matteo Sammartino and Alexandra Silva",
note = "Funding Information: *The author has been supported by GCHQ via the VeTSS grant “Automated black-box verification of networking systems” (4207703/RFA 15845). †The author has been supported by the EPSRC via the Standard Grant CLeVer (EP/S028641/1). ‡The author has been supported by the EPSRC via the Standard Grant CLeVer (EP/S028641/1). §The author has been supported by the ERC via the Consolidator Grant AutoProbe 101002697 and by a Royal Society Wolfson Fellowship. Publisher Copyright: {\textcopyright} S. Zetzsche, G. van Heerdt, M. Sammartino, A. Silva; 37th International Conference on Mathematical Foundations of Programming Semantics, MFPS 2021 ; Conference date: 30-08-2021 Through 02-09-2021",
year = "2021",
month = dec,
day = "29",
doi = "10.4204/EPTCS.351.18",
language = "English",
volume = "351",
pages = "296--313",
journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",
issn = "2075-2180",
publisher = "Open Publishing Association",
}