www.prismmodelchecker.org
[Che05] L. Cheung. Randomized Wait-Free Consensus using An Atomicity Assumption. In Proc. 9th International Conference on Principles of Distributed Systems (OPODIS'05). Full version available as Technical Report ICIS-R05035, Institute for Computing and Information Sciences, Radboud University Nijmegen. November 2005. [bib] http://theory.csail.mit.edu/~lcheung/
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications