The impressive power of stopwatches (2000)

by Franck Cassez, Kim G Larsen
Venue:In Proc. 11th International Conference on Concurrency Theory (CONCUR’00