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

by M O Rabin
Venue:J. Comput. Syst. Sci