TD sur les horloges logiques.

TD sur les horloges logiques. Exercice : Datation des évènements. L'objectif est de comparer deux évènements e1 et e2 qui se passent dans.