Conference paper

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.


    • LAMP-CONF-2003-004

    Record created on 2006-01-24, modified on 2017-05-12

Related material