Eli Gafni, Michael Mitzenmacher. Analysis of Timing-Based Mutual Exclusion with Random Times. In PODC. pages 13-21, 1999. [doi]
@inproceedings{GafniM99,
title = {Analysis of Timing-Based Mutual Exclusion with Random Times},
author = {Eli Gafni and Michael Mitzenmacher},
year = {1999},
doi = {10.1145/301308.301318},
url = {http://doi.acm.org/10.1145/301308.301318},
tags = {rule-based, analysis},
researchr = {https://researchr.org/publication/GafniM99},
cites = {0},
citedby = {0},
pages = {13-21},
booktitle = {PODC},
}