Modeling Consensus in a Process Calculus

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.


Published in:
Proceedings of CONCUR 2003
Year:
2003
Laboratories:




 Record created 2006-01-24, last modified 2018-03-17

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)