, 29:16 Verification of Randomized Consensus Algorithms under Round-Rigid Adversaries

Y. Song, R. Van-renesse, and . Bosco, One-step Byzantine asynchronous consensus

D. In, LNCS, vol.5218, pp.438-450, 2008.