N-process mutual exclusion with bounded waiting by 4 log n-valued shared variable (1982)

by Michael O Rabin
Venue:Journal of Computer and System Sciences