The Mutual Exclusion Problem: Part I-A Theory of Interprocess Communication in (0)

by L Lamport
Venue:Journal of the ACM