On the Advantage of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem (1981)

by D Lehmann, M Rabin
Venue:in Proc. of the 8th Symp. on Principles of Programming Languages (POPL 1981), ACM