Explore des algorithmes de diffusion fiables, en se concentrant sur l'ordre causal et la fiabilité uniforme, avec des exercices sur les propriétés des détecteurs de défaillance et l'optimisation de la mémoire.
Explore la diffusion fiable dans des systèmes distribués, présentant des spécifications, des algorithmes et des propriétés pour différents types de diffusion.
Explore les quantificateurs avec des domaines finis, le quantificateur d'unicité, les instructions composites, la liaison de variables et la validité en logique.
