Survey of Distributed Decision - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2016

Survey of Distributed Decision


We survey the recent distributed computing literature on checking whether a given distributed system configuration satisfies a given boolean predicate, i.e., whether the configuration is legal or illegal w.r.t. that predicate. We consider classical distributed computing environments, including mostly synchronous fault-free network computing (LOCAL and CONGEST models), but also asynchronous crash-prone shared-memory computing (WAIT-FREE model), and mobile computing (FSYNC model).
Fichier principal
Vignette du fichier
arxiv.pdf (235.93 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01331880 , version 1 (14-06-2016)



Laurent Feuilloley, Pierre Fraigniaud. Survey of Distributed Decision. 2016. ⟨hal-01331880⟩
158 View
136 Download



Gmail Facebook X LinkedIn More