Exercice sur les horloges
On considère le système réparti suivant : (reprendre le schéma clairement sous le
format paysage)
TAF :
1. Etudier la causalité de l’événement e43
2. Calculer l’horloge logique de ce système.
Advertisement
3. Calculer l’horloge vectorielle de ce système.
4. Identifier la non délivrance dans ce système.
5. Appliquer l’horloge matricielle.