Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory.

Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Lo Exibard, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen

Browse the full CONCUR paper archive.