Ricart & Agrawala algorithm + Lamport clock