Verification of Randomized Consensus Algorithms under Round-Rigid Adversaries - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

Dates and versions

hal-02191348 , version 1 (23-07-2019)

Identifiers

Cite

Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder. Verification of Randomized Consensus Algorithms under Round-Rigid Adversaries. CONCUR 2019 - 30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. pp.1-16, ⟨10.4230/LIPIcs.CONCUR.2019.33⟩. ⟨hal-02191348⟩
106 View
230 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More