11 lines
No EOL
356 B
Text
11 lines
No EOL
356 B
Text
Introduzione al problema con esempi
|
|
Equivalenza fra modelli con cenni di dimostrazione
|
|
Definizione agreement
|
|
Well-formedness, validity, failure free-termination
|
|
Definizione formale problema
|
|
Teorema 21.2 con dimostrazione
|
|
Algoritmo randomizzato definizione
|
|
Algoritmo di BenOr
|
|
Ottimizzazioni per BenOr
|
|
Failure detector
|
|
Modellazione failure detector |