We study a well-known communication abstraction called Uniform Reliable Broadcast
(URB). URB is central in the design and implementation of fault-tolerant distributed systems …

Abstract Set-Constrained Delivery Broadcast (SCD-broadcast), recently introduced at
ICDCN 2018, is a high-level communication abstraction that captures ordering properties …

Reliable broadcast and consensus are the two pillars that support a lot of non-trivial fault-
tolerant distributed middleware and fault-tolerant distributed systems. While they have close …

Fault-tolerant distributed applications require communication abstractions with provable
guarantees on message deliveries. For example, Set-Constrained Delivery Broadcast (SCD …

General solutions of state machine replication have to ensure that all replicas apply the
same commands in the same order, even in the presence of failures. Such strict ordering …

A snapshot object simulates the behavior of an array of single-writer/multi-reader shared
registers that can be read atomically. Delporte-Gallet et al. proposed two fault-tolerant …

It is well-known that consensus (one-set agreement) and total order broadcast are
equivalent in asynchronous systems prone to process crash failures. Considering wait-free …

The original goal of this paper was a novel, fast atomic-snapshot protocol for asynchronous
message-passing systems. In the process of defining what fast means exactly, we faced a …

The notion of a universal construction is central in computing science and technology:
general solutions make life easier and the wheel has not to be reinvented each time a new …