The Mutual Exclusion Problem for Unreliable Processes: Preliminary Report Ronald L. Rivest Vaughan R. Pratt 1-8 conf/focs/FOCS17 1976 FOCS db/conf/focs/focs76.html#RivestP76