Nathalie Bertrand 0001, Igor Konnov 0001, Marijana Lazic, Josef Widder. Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries. In Wan Fokkink, Rob van Glabbeek, editors, 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands. Volume 140 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
Abstract is missing.