Introduzione al problema con esempi
Equivalenza fra modelli con cenni di dimostrazione
Definizione agreement e Definizione formale problema
Well-formedness, validity, failure free-termination
Teorema 21.2 con dimostrazione -> vedi p 586, dimostrazione in termini degli altri due teoremi
Algoritmo randomizzato definizione
Algoritmo di BenOr
Ottimizzazioni per BenOr
Failure detector
Modellazione failure detector