Redirecting to Ricart-Agrawala algorithm