Infoscience

Similar records
Report

Distributed Consensus, Revisited

Fuzzati, Rachele; Merro, Massimo; Nestmann, Uwe
  • Publication date: 2006

We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular class of failure detectors (Diamond S or, equivalently, Omega), under the hypothesis that only a minority of processes may crash. The model is defined as a global transition system that is unambigously generated by local transition rules. The model is syntax-free in that it does not refer to any form of programming language or pseudo code. We use our model to formally prove that the algorithm is correct.

Keywords: formalization ; transition rules ; distributed algorithms ; consensus

Reference

  • LAMP-REPORT-2006-003

Record created on 2006-09-12, modified on 2011-09-01

Fulltext

Contacts