A Theory of (Linear-Time) Timed Monitors.

Mouloud Amara, Giovanni Bernardi, Mohammed Aristide Foughali, Adrian Francalanza

Browse the full ECOOP paper archive.