Proving Probabilistic Correctness Statements: the Case of Rabin's Algorithm for Mutual Exclusion.

Isaac Saias

Browse the full PODC paper archive.