Infoscience

Similar records
Conference paper

Modeling Consensus in a Process Calculus

Nestmann, Uwe; Fuzzati, Rachele; Merro, Massimo
  • Presented at: CONCUR 2003, Marseille, France, 3-5 September 2003
  • Published in: CONCUR 2003 - Concurrency Theory, p. 399-414
  • Series: Lecture Notes in Computer Science 2761
  • Publication date: 2003

We give a process calculus model that formalizes a well known algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failure detectors (Diamond S); we use our model to formally prove that the algorithm satisfies its specification.

Keywords: Process Calculus ; Model ; Formalization ; Chandra-Toueg Consensus Algorithm

Reference

  • LAMP-CONF-2005-002

Record created on 2005-11-23, modified on 2011-07-15

Fulltext

Contacts