A Classification of Weak Asynchronous Models of Distributed Computing

Javier Esparza, Fabian Reiter

We conduct a systematic study of asynchronous models of distributed computing consisting of identical finite-state devices that cooperate in a network to decide if the network sati…