Infoscience

Similar records
Conference paper

Modeling Consensus in a Process Calculus

Nestmann, Uwe; Fuzzati, Rachele; Merro, Massimo
  • Published in: Proceedings of CONCUR 2003
  • Series: Lecture Notes in Computer Science (LNCS) 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; we use our model to formally prove that the algorithm satisfies its specification.

Reference

  • LAMP-CONF-2003-004

Record created on 2006-01-24, modified on 2011-07-15

Fulltext

Contacts