Results about fast mutual exclusion (1992)

by R Alur, G Taubenfeld
Venue:In Proc. RTSS