www.prismmodelchecker.org
[LR81] D. Lehmann and M. Rabin. On the Advantage of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem (Extended Abstract). In Proc. 8th Annual ACM Symposium on Principles of Programming Languages (POPL'81), pages 133--138. 1981. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications