Reliable broadcast is a communication primitive guaranteeing, intuitively, that all processes
in a distributed system deliver the same set of messages. The reason why this primitive is …

Replicated services are inherently vulnerable to failures and security breaches. In a long-
running system, it is, therefore, indispensable to maintain a reconfiguration mechanism that …

Shared register emulations on top of message-passing systems provide an illusion of a
simpler shared memory system which can make the task of a system designer easier …

The atomic snapshot object (ASO) can be seen as a generalization of the atomic read/write
register. ASO divides the object into n segments such that each node can update its own …

This thesis proposes a natural hierarchical model for dynamic probabilistic distributed
systems. The model extends in an intuitive way the labeled transition systems that best …

The lattice agreement problem is an important decision problem in distributed systems. It
has applications in implementing atomic snapshot objects and building a special class of …

Byzantinefaulttoleranceisa criticalmechanismallowing softwareengineers to build distributed
systems resilient to numerous kinds of hardware failures, software bugs, and security …