Os algoritmos podem ser usados para correção do tempo, ou seja, sincronicidade de relógios lógicos, aumentando, quando necessário,1 ciclo de clock após a mensagem chegar ao destinatário, que por sua vez tem um tempo anterior ao da mensagem. Fundamentalmente, o Algoritmo de Lamport parte do conceito happens- before.;. Sobre o algoritmo de Lamport, assinale a alternativa que contém informações corretas:

Se a→b, não deve haver a sincronização de eventos se eles acontecerem em processos diferentes e se uma mesma mensagem é recebida por a e b, os quais tem processos idênticos.
Se a→b, pode haver a sincronização de eventos se eles acontecerem em mesmo processo e se uma mesma mensagem é recebida por a e b, os quais tem processos diferentes.
Se a→b, deve haver a sincronização de eventos se eles acontecerem em processos diferentes e se uma mesma mensagem é recebida por a e b, os quais tem processos idênticos.
Se a→b, não deve haver a sincronicidade de eventos se eles acontecerem em mesmo processo e se uma mensagem diferente for recebida por a e b, os quais tem processos diferentes.
Se a→b, não deve haver a sincronicidade de eventos se eles acontecerem em processos diferentes e se uma mensagem diferente for recebida por a e b, os quais tem processos idênticos.