On the advantages of free choice: A symmetric and fully distributed solution to the dining philosophers problem (1981)

by Michael Rabin, Daniel Lehmann
Venue:In Proceedings of the 8th Annual ACM Symposium on Principles of Programming Languages