AULT tolerance and reliability are important issues for flight vehicles such as aircraft, space-
shuttles, and satellites. A self-stabilizing system recovers automatically following …

Most applications in distributed computing center around a set of common subproblems.
Distributed Systems: An Algorithmic Approach presents the algorithmic issues and …

This text is based on a simple and fully reactive computational model that allows for intuitive
comprehension and logical designs. The principles and techniques presented can be …

Fast algorithms are presented for performing computations in a probabilistic population
model. This is a variant of the standard population protocol model, in which finite-state …

We initiate a study of bounded clock synchronization under a more severe fault model than
that proposed by Lamport and Melliar-Smith [1985]. Realistic aspects of the problem of …

The model of population protocols refers to the growing in popularity theoretical framework
suitable for studying pairwise interactions within a large collection of simple …

We characterize exactly the cases in which it is possible to elect a leader in an anonymous
network of processors by a deterministic algorithm, and we show that for every network there …

A local stabilizer protocol that takes any on-or off-line distributed algorithm and converts it
into a synchronous self-stabilizing algorithm with local monitoring and repairing properties is …

A unison system is one where each node has a clock variable that is assigned a value i-1
when and only when the clock variable of every neighboring node has the value i or i--1. In …

Fast algorithms are presented for performing computations in a probabilistic population
model. This is a variant of the standard population protocol model—in which finite-state …