The Observational Power of Clocks

Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger. The Observational Power of Clocks. In Bengt Jonsson, Joachim Parrow, editors, CONCUR 94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Volume 836 of Lecture Notes in Computer Science, pages 162-177, Springer, 1994.

Abstract

Abstract is missing.