TY  - RPRT
TI  - Proving probabilistic correctness statements: the case of Rabin's algorithm for mutual exclusion
AU  - Isaac Saias
PY  - 1994
UR  - https://arxiv.org/abs/math/9409219
ID  - math/9409219
ER  -