Les horloges logiques de Lamport permettent de définir l'ordre des événements dans des systèmes répartis. Elles résolvent des problèmes de synchronisation en attribuant des timestamps aux messages, garantissant ainsi la causalité. Cette approche centralisée aide à obtenir une vue globale des événements sur différents sites, essentielle pour le bon fonctionnement des systèmes distribués.