Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Ingolfsdottir, Anna Axiomatizing recursion-free, regular monitors. (English) Zbl 07531445 J. Log. Algebr. Methods Program. 127, Article ID 100778, 32 p. (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{L. Aceto} et al., J. Log. Algebr. Methods Program. 127, Article ID 100778, 32 p. (2022; Zbl 07531445) Full Text: DOI arXiv
Kapus, Tatjana Specifying reversibility with \(\mathrm{TLA}^+\). (English) Zbl 1462.68125 J. Log. Algebr. Methods Program. 116, Article ID 100582, 34 p. (2020). MSC: 68Q85 03B44 68Q60 92C42 PDFBibTeX XMLCite \textit{T. Kapus}, J. Log. Algebr. Methods Program. 116, Article ID 100582, 34 p. (2020; Zbl 1462.68125) Full Text: DOI