Verification of randomized consensus algorithms under round-rigid adversaries

Titel:: Verification of randomized consensus algorithms under round-rigid adversaries
Dokumenttyp:: Zeitschriftenaufsatz
Autor(en):: Bertrand, Nathalie; Konnov, Igor; Lazić, Marijana; Widder, Josef
Zeitschriftentitel:: International Journal on Software Tools for Technology Transfer
Jahr:: 2021
Volltext / DOI:: doi:10.1007/s10009-020-00603-x
Verlag / Institution:: Springer Science and Business Media LLC
E-ISSN:: 1433-27791433-2787
Publikationsdatum:: 02.02.2021
BibTeX

Vorkommen: