Canonical Automata via Distributive Law Homomorphisms

Stefan Zetzsche, Gerco van Heerdt, Matteo Sammartino, Alexandra Silva

Research output: Contribution to journalConference articlepeer-review

Original languageEnglish
Pages (from-to)296-313
Number of pages18
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Publication statusPublished - 29 Dec 2021
Event37th International Conference on Mathematical Foundations of Programming Semantics, MFPS 2021 - Salzburg, Austria
Duration: 30 Aug 20212 Sept 2021

Cite this