TY  - RPRT
TI  - Axiomatizing recursion-free, regular monitors
AU  - Luca Aceto
AU  - Antonis Achilleos
AU  - Elli Anastasiadi
AU  - Anna Ingolfsdottir
PY  - 2022
UR  - https://arxiv.org/abs/2006.05463
ID  - 2006.05463
ER  -