@techreport{lavault:inria-00075250, TITLE = {{Analysis of a distibuted algorithm for mutual exclusion}}, AUTHOR = {Lavault, C.}, URL = {https://inria.hal.science/inria-00075250}, NOTE = {Projet PARADIS}, NUMBER = {RR-1309}, INSTITUTION = {{INRIA}}, YEAR = {1990}, MONTH = Oct, PDF = {https://inria.hal.science/inria-00075250/file/RR-1309.pdf}, HAL_ID = {inria-00075250}, HAL_VERSION = {v1}, }