Isaac Saias. Proving Probabilistic Correctness Statements: the Case of Rabin s Algorithm for Mutual Exclusion. In PODC. pages 263-274, 1992.
@inproceedings{Saias92, title = {Proving Probabilistic Correctness Statements: the Case of Rabin s Algorithm for Mutual Exclusion}, author = {Isaac Saias}, year = {1992}, researchr = {https://researchr.org/publication/Saias92}, cites = {0}, citedby = {0}, pages = {263-274}, booktitle = {PODC}, }