Analysis of Timing-Based Mutual Exclusion with Random Times.

Eli Gafni Michael Mitzenmacher Analysis of Timing-Based Mutual Exclusion with Random Times. 816-837 2001 31 SIAM J. Comput. 3 http://dx.doi.org/10.1137/S0097539799364912 db/journals/siamcomp/siamcomp31.html#GafniM01