Horloge de Lamport

Une horloge de Lamport est un dispositif logiciel introduit en 1978 par Leslie Lamport afin de donner à chaque processus d'un système distribué asynchrone des informations sur la relation de causalité arrivé-avant. C'est le premier type d'horloge logique intro…