TD sur les horloges logiques.
Question 3 : Donner la complexité concernant le nombre de messages pour l'utilisation d'une ressource. Exclusion mutuelle (algorithme de Carvalho et Roucairol).
Question 3 : Donner la complexité concernant le nombre de messages pour l'utilisation d'une ressource. Exclusion mutuelle (algorithme de Carvalho et Roucairol).