Sistemas distribuídos são compostos por múltiplas unidades de processamento, nas quais a sincronização nesses sistemas é um grande desafio. Uma das maneiras de promover essa sincronização é por meio de um algoritmo que define que se dois processos não interagirem, seus relógios não precisam ser sincronizados. O nome do algoritmo em questão é: