Time-adaptive algorithms for synchronization (1994)

by R Alur, H Attiya, G Taubenfeld
Venue:Proc. 26th ACM Symp. on Theory of Computing