On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem.

Daniel Lehmann, Michael O. Rabin

Browse the full POPL paper archive.