Ricart Agrawala implementation