Publications & Reports

About us

Filter by

Filtered (37)

Filters

Type

Annual Report (5)
Policy (1)
Conference Papers (60)
PhD Thesis (6)
Journal Paper (8)
Report (6)

Show (37)

Cancel

Filtered (37)

Filters

Year

2023 (16)
2022 (11)
2021 (17)
2020 (17)
2019 (9)
2018 (4)
2017 (3)
2024 (8)
2025 (1)
2026 (0)

Show (37)

Cancel

Canonical Automata via Distributive Law Homomorphisms.

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

EPTCS 351, 2021, 296-313. 2021

Previous 23

Email: contact@vetss.org.uk

The Research Institute on
Verified Trustworthy Software Systems

Contact us

Privacy Policy
Cookie Policy
EDI Statement
Accessibility Policy

About us
Publications
News
Events

Page load link

We use cookies to ensure that we give you the best experience on our website. If you continue to use this site we will assume that you are happy with it.Ok No Privacy policy

Go to Top

Publications & Reports

Filter by

Canonical Automata via Distributive Law Homomorphisms.

The Research Institute on Verified Trustworthy Software Systems

The Research Institute on Verified Trustworthy Software Systems

The Research Institute on
Verified Trustworthy Software Systems

The Research Institute on
Verified Trustworthy Software Systems