View-oriented group communication is an important and widely used building block for
many distributed applications. Much current research has been dedicated to specifying the …

Despite nearly 20 years of progress toward ubiquitous computer connectivity, distributed
computing systems have only recently emerged to play a serious role in industry and …

On the impossibility of group membership Page 1 On the Impossibility of Group Membership*
Tushar Deepak Chandrat Vassos Hadzilacos$ Sam Toueg$ Bernadette Charron-Bost …

Current systems are very often based on large-scale, unpredictable and unreliable
infrastructures. However, users of these systems increasingly require services with …

The evolution of distributed computing and applications has put new challenges on models,
architectures and systems. To name just one,'reconciling uncertainty with predictability'is …

This paper presents a new protocol for atomic broadcast in an asynchronous network with a
maximal number of Byzantine failures. It guarantees both safety and liveness without making …

This paper investigates the use of partial replication in the Database State Machine
approach introduced earlier for fully replicated databases. It builds on the order and …

Gives a formal specification and an implementation for a partitionable group communication
service in asynchronous distributed systems. Our specification is motivated by the …

Mobile wireless networks can be classified in two major categories: cellular networks (also
known as infrastructured networks) and ad hoc networks. While cellular networks are …

The paper considers the Byzantine agreement problem in a fully asynchronous network,
where some participants may be actively malicious. This is an important building block for …