Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries.

Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder

Browse the full CONCUR paper archive.