The Mutual Exclusion Problem (1986)

by L LAMPORT
Venue:Parts I and II , Journal of the Association of Computing Machinery