A seguir: Ricart e Agrawala (1981) Acima: O Algoritmo de Lamport: Anterior: Exemplo
Em cada seção crítica, temos: