On The Extremely Fair Termination of Probabilistic Algorithms (1983)

by A Pnueli
Venue:15 Annual ACM Symp. on Theory of Computing