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

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
main.pdf (727.59 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Nathalie Bertrand  : Connect in order to contact the contributor

https://hal.inria.fr/hal-02191348

Submitted on : Tuesday, July 23, 2019-2:31:23 PM

Last modification on : Friday, August 5, 2022-2:54:52 PM

Download

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA GRID5000 CENTRALESUPELEC UNIV-LORRAINE INRIA2 LORIA LORIA-FM UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES SILECS UR1-MATH-NUM
79 View
180 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More