Loading...
conference paper
Modeling Consensus in a Process Calculus
Nestmann, Uwe
•
Fuzzati, Rachele
•
Merro, Massimo
2003
CONCUR 2003 - Concurrency Theory
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.
Use this identifier to reference this record
Loading...
Name
nestmann.pdf
Access type
openaccess
Size
336.59 KB
Format
Adobe PDF
Checksum (MD5)
2ec069476be6bc10631bf13b8f427910