This software implements the Ricart-Agrawala algorithm for distributed mutual exclusion with Roucairol-Carvalho optimization.