- Introduction : modèles de calcul réparti
- Notion de temps logique (Temps linéaire et temps vectoriel)
- Mise en œuvre de primitives de communication (Ordre causal vs ordre total)
- Contrôle réparti (Synchronisation, allocation de ressources, Détection de la terminaison et de l'interblocage)
- Etat local vs état global, Calcul d'un état global cohérent
- Points de reprise répartis
- Communiquer au-delà du "send" et du "receive" : la diffusion fiable uniforme
- Modèle de défaillances : arrêt par crash, fautes d'omission, fautes byzantines
- Le modèle synchrone (illustré avec le consensus et la validation atomique)
- Le modèle asynchrone et quelques premiers résultats d'impossibilité
- Le consensus
- Le concept de détecteur de fautes
- Le consensus dans les systèmes asynchrones à passage de messages
- La mise en œuvre de détecteurs de fautes
- La cohérence de données réparties