@paves

Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries.

, , , and . CONCUR, volume 140 of LIPIcs, page 33:1-33:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)


Cite this publication