Analysis of a distributed algorithm for mutual exclusion. - Lavault, Christian (Rapports de Recherche, 1990)