The Observational Power of Clocks.

Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger

Browse the full CONCUR paper archive.