Yih-Kuen Tsay. Deriving a Scalable Algorithm for Mutual Exclusion. In Shay Kutten, editor, Distributed Computing, 12th International Symposium, DISC 98, Andros, Greece, September 24-26, 1998, Proceedings. Volume 1499 of Lecture Notes in Computer Science, pages 393-407, Springer, 1998. [doi]
Abstract is missing.