5/Algorithmes d’exclusion mutuelle et terminaison distribuée
5.1/Exclusion mutuelle sur un réseau 5.1.1/Exemple introductif 5.1.2/Formulation du problème 5.1.3/Exclusion mutuelle par construction d’un ordre total sur l’ensemble des événements 5.1.4/Exclusion mutuelle par circulation d’un jeton 5.1.5/Exclusion mutuelle par circulation d’un jeton avec diffusion de requêtes 5.1.6/Exclusion mutuelle par construction d’une file d’attente de processeurs 5.2/Détection de terminaison globale 5.2.1/Position du problème 5.2.2/Détection par comptage