A case study on parametric verification of failure detectors
Work
Year: 2023
Type: article
Abstract: Partial synchrony is a model of computation in many distributed algorithms and modern blockchains. These algorithms are typically parameterized in the number of participants, and their correctness req... more
Authors Thanh-Hai Tran, Igor Konnov, Josef Widder
Institution TU Wien
Cites: 40
Cited by: 1
Related to: 10
FWCI: 0.355
Citation percentile (by year/subfield): 52.04
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: diamond