%0 Report %T Analysis of a distibuted algorithm for mutual exclusion %+ INRIA Rocquencourt %A Lavault, C. %Z Projet PARADIS %N RR-1309 %I INRIA %8 1990-10 %D 1990 %Z Computer Science [cs]/Other [cs.OH]Reports %G English %2 https://inria.hal.science/inria-00075250/document %2 https://inria.hal.science/inria-00075250/file/RR-1309.pdf %L inria-00075250 %U https://inria.hal.science/inria-00075250 %~ INRIA %~ INRIA-ROCQ %~ INRIA-RRRT %~ TESTALAIN1 %~ INRIA2 %~ LARA