Relógios lógicos são mecanismos para identificação de relações causais e cronológicas em sistemas distribuídos, uma vez que estes fazem uso de uma classe de algoritmos que têm como base a sincronização de seus eventos e a consistência interna de seus relógios. Os dois principais algoritmos para sincronização de relógios são: * Relógios de Lamport * Relógios vetoriais A relação happens-before é transitiva: se a → b e b → c então a → c. Além disso, dois eventos a e b são ditos concorrentes se não é possível inferir que a → b ou b → a.