Université
Paris VII- Denis Diderot
Soutenue le 18 décembre 2001
par
Carole
Delporte-Gallet
Jury:
|
Joffroy BEAUQUIER |
Professeur
(rapporteur) |
|
Rachid
GUERRAOUI |
Professeur
(rapporteur) |
|
Gérard LE LANN |
Directeur de
recherche, INRIA |
|
Michel MORVAN |
Professeur
(rapporteur) |
|
Maurice NIVAT |
Professeur
(directeur) |
|
Michel RAYNAL |
Professeur
(rapporteur) |
|
Sam TOUEG |
Professeur |
|
|
|
|
|
|
Table des matières:
1 . Présentation
2 . Définitions et notations
3. Spécifications des primitives
4. Systèmes de phases synchronisées
5 . Comparaison
des modèles
6 . Classification
7 . Algorithmique efficace
8 . Minimiser le nombre d'appels
9. Implémentation de détecteurs de défaillances
10. Conclusion
Annexes
Bibliographie