A fast mutual exclusion algorithm (1987)

by Leslie Lamport
Venue:ACM Trans. Comput. Syst