Implementing Multiple Locks Using Lamport's Mutual Exclusion Algorithm

Alan J. Demers
Christ Uhler
LOPLAS, 2 (1993), pp. 46-58

Abstract