Verifying Randomized Consensus Protocols with Common Coins.

Song Gao, Bohua Zhan, Zhilin Wu, Lijun Zhang

Browse the full DSN paper archive.