Séance de cours
Cette séance de cours couvre la spécification d'un registre, l'exécution séquentielle et simultanée, la mise en œuvre d'un registre, les algorithmes d'arrêt, les propriétés d'exactitude, les limites inférieures et l'algorithme majoritaire pour un stockage fiable.