Le temps logique dans les systèmes répartis
Horloges et estampilles matricielles
Horloges et estampilles vectorielles
Horloges et estampilles scalaires
Délivrance causale
Ordre causal
Relation de précédence directe
Relation de précédence causale
e->e'
e: envoi de message et e': réception de message par un autre processus
e->e': sur le meme processus
e précède causalement e'
e1,e2,......em telque e1=e et em=e' : transitivité
e=e': reflexivité
ordre de délivrance FIFO
ordre de délivrance causale
Définition et principe des estampilles scalaires 
Principe
Sur chaque site ce compteur est initialisé à O0 au
lancement du système.
Chaque site gère un compteur dont la valeur est un
entier.
Propriétés des estampilles scalaires
L'ordre ainsi défini est total
L'odre des evenements n'est pas un ordre strict
Définition et principe des estampilles vectorielles
Les messages envoyés par un site sont estampillés en utilisant la
valeur courante de l'horloge vectorielle du site émetteur,
L’ horloge permet de dater les événements d’un site et est mise à
jour lors de l'occurrence des événements.
La réception d'un message permet au site récepteur de synchroniser
son horloge vectorielle avec celle du site émetteur du message.
Chaque site gère une horloge vectorielle constituée de n entiers (le
système comporte n sites).
Propriétés des estampilles vectorielles
Propriété fondamentale
relation d'ordre sur les estampilles vectorielles
Définition et principe des estampilles matricielles
HM; désigne l'horloge matricielle du site S
EM, désigne l'estampille matricielle du message m,