The Mutual Exclusion Problem: Part II-Statement and Solutions in (1987)

by L Lamport
Venue:Digital Equipment Corp. Systems Research Center (SRC