Mamoru Maekawa A Square Root N Algorithm for Mutual Exclusion in Decentralized Systems ACM Trans. Comput. Syst. 3 2 1985 145-159 db/journals/tocs/tocs3.html#Maekawa85