Verification of Randomized Consensus Algorithms under Round-Rigid Adversaries - Archive ouverte HAL Access content directly
Conference Papers Year :

Verification of Randomized Consensus Algorithms under Round-Rigid Adversaries

(1) , (2, 3) , (4) , (5)
1
2
3
4
5
Fichier principal
Vignette du fichier
main.pdf (727.59 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

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⟩
79 View
180 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More