Ricart and Agrawala's Algorithm