TD sur les horloges logiques.

Nous allons nous inspirer de l'algorithme proposé en cours (proposé par. Ricart & Agrawala en 1983). ... Dans cet exercice, nous réalisons une exclusion mutuelle ...