a cura di Gianluca Di Tomassi
1.1 Introduzione
1.2 Auto-stabilizzazione secondo Dijkstra
1.3 Un semplice esempio di protocollo auto-stabilizzante
2.1 Introduzione
2.2 Consistenza attraverso la mutua esclusione
2.3 Alcuni algoritmi
2.3.1 Algoritmo centralizzato
2.3.2 Algoritmo distribuito
2.3.3 Algoritmo token ring
3.1 Introduzione
3.2 Attractors e pseudo-attractors
3.3 Stabilizzazione e pseuso-stabilizzazione
3.4 Relazione tra attractors e stabilizzazione
3.5 Un semplice esempio di protocollo pseudo-stabilizzante
3.5.1 Presentazione informale del protocollo
3.5.2 Presentazione formale del protocollo
3.5.3 Specifica del protocollo
3.5.4 Pseudo-stabilizzazione del protocollo
Capitolo 4 " Estensioni auto-stabilizzanti per sistemi di message-passing "
4.1 Introduzione
4.2 Nozioni fondamentali
4.3 Un Sistema di message-passing
4.4 Il modello semantico e le sue difficoltà