Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir. Axiomatizing recursion-free, regular monitors. J. Log. Algebr. Meth. Program., 127:100778, 2022. [doi]
@article{AcetoAAI22, title = {Axiomatizing recursion-free, regular monitors}, author = {Luca Aceto and Antonis Achilleos and Elli Anastasiadi and Anna Ingólfsdóttir}, year = {2022}, doi = {10.1016/j.jlamp.2022.100778}, url = {https://doi.org/10.1016/j.jlamp.2022.100778}, researchr = {https://researchr.org/publication/AcetoAAI22}, cites = {0}, citedby = {0}, journal = {J. Log. Algebr. Meth. Program.}, volume = {127}, pages = {100778}, }