Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen. Adventures in monitorability: from branching to linear time and back again. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]
Abstract is missing.