Self-stabilizing silent disjunction in an anonymous network

In this paper, we give a distributed silent self-stabilizing algorithm, DISJ, for the disjunction problem in a connected network. In this problem, each process x has an input bit x.in, assigned by the application layer, and each process must compute the disjunction of the input bits of all processes. DISJ is uniform, and works in an anonymous network under the distributed unfair daemon. The stabilization time of DISJ is O(n) rounds, where n is the size of the network, and the memory requirement per process is O(log⁡D+Δ) where D and Δ are, respectively, the diameter, and the maximum degree of the network.