Total order broadcast and multicast (also called atomic broadcast/multicast) present an
important problem in distributed systems, especially with respect to fault-tolerance. In short …

The ISIS toolkit is a distributed programming environment based on virtually synchronous
process groups and group communication We present a new family of protocols in support …

To achieve fault tolerance, a distributed system architecture incorporates redundant
processing components. Thus, before the issues which underlie fault-tolerance--or …

We propose a formal definition for the timed asynchronous distributed system model. We
present extensive measurements of actual message and process scheduling delays and …

In modern computing a program is usually distributed among several processes. The
fundamental challenge when develo** reliable distributed programs is to support the …

Replication of entities is a convenient technique to achieve fault-tolerance. The problem of
replica determinism thereby is to assure, that replicated entities show consistent behavior in …

Unlike many other operating systems, Amoeba is a distributed operating system that
provides group communication (ie, one-to-many communication). We will discuss design …

Communication-oriented abstractions such as atomic multicast, group RPC, and protocols
for location-independent mobile computing can simplify the development of complex …

As human dependence on computing technology increases, so does the need for computer
system dependability. This dissertation introduces Consul, a communication substrate …

As software for distributed systems becomes more complex, ensuring that a system meets its
prescribed specification is a growing challenge that confronts software developers. This is …