Verification of Multiprocess Probabilistic Protocols.

Amir Pnueli, Lenore D. Zuck

Browse the full PODC paper archive.