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.

Authors

Rajeev Alur

This author has not been identified. It may be one of the following persons: Look up 'Rajeev Alur' in Google

Costas Courcoubetis

This author has not been identified. Look up 'Costas Courcoubetis' in Google

Thomas A. Henzinger

This author has not been identified. Look up 'Thomas A. Henzinger' in Google