The heard-of model: computing in distributed systems with benign faults

B Charron-Bost, A Schiper - Distributed Computing, 2009 - Springer
Problems in fault-tolerant distributed computing have been studied in a variety of models.
These models are structured around two central ideas:(1) degree of synchrony and failure …

PSync: a partially synchronous language for fault-tolerant distributed algorithms

C Drăgoi, TA Henzinger, D Zufferey - ACM SIGPLAN Notices, 2016 - dl.acm.org
Fault-tolerant distributed algorithms play an important role in many critical/high-availability
applications. These algorithms are notoriously difficult to implement correctly, due to …

Making byzantine consensus live

M Bravo, G Chockler, A Gotsman - Distributed Computing, 2022 - Springer
Partially synchronous Byzantine consensus protocols typically structure their execution into
a sequence of views, each with a designated leader process. The key to guaranteeing …

Efficient fault-tolerant consensus for collaborative services in edge computing

G **g, Y Zou, D Yu, C Luo… - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
In many edge computing applications, edge devices are required to reach fault-tolerant
consensus in order to provide collaborative services in outdoor environments. In this paper …

Bosco: One-step byzantine asynchronous consensus

YJ Song, R van Renesse - International Symposium on Distributed …, 2008 - Springer
Asynchronous Byzantine consensus algorithms are an important primitive for building
Byzantine fault-tolerant systems. Algorithms for Byzantine consensus typically require at …

Byzantine fault tolerant consensus in open wireless networks via an abstract mac layer

G **g, Y Zou, Z Zhang, D Yu… - IEEE Transactions on …, 2024 - ieeexplore.ieee.org
The openness of wireless networks opens the door to Byzantine attacks on the physical
channels, making the communications unreliable and resulting in more challenges in …

Liveness and latency of Byzantine state-machine replication

M Bravo, G Chockler, A Gotsman - Distributed Computing, 2024 - Springer
Byzantine state-machine replication (SMR) ensures the consistency of replicated state in the
presence of malicious replicas and lies at the heart of the modern blockchain technology …

Recent results on fault-tolerant consensus in message-passing networks

L Tseng - … Colloquium, SIROCCO 2016, Helsinki, Finland, July …, 2016 - Springer
Fault-tolerant consensus has been studied extensively in the literature, because it is one of
the important distributed primitives and has wide applications in practice. This paper surveys …

Impossibility results and lower bounds for consensus under link failures

U Schmid, B Weiss, I Keidar - SIAM Journal on Computing, 2009 - SIAM
We provide a suite of impossibility results and lower bounds for the required number of
processes and rounds for synchronous consensus under transient link failures. Our results …

A logic-based framework for verifying consensus algorithms

C Drăgoi, TA Henzinger, H Veith, J Widder… - … , Model Checking, and …, 2014 - Springer
Fault-tolerant distributed algorithms play an important role in ensuring the reliability of many
software applications. In this paper we consider distributed algorithms whose computations …