Shivakant Mishra Pradip K. Srimani Fault-tolerant mutual exclusion algorithms. 111-129 1990 11 Journal of Systems and Software 2 http://dx.doi.org/10.1016/0164-1212(90)90056-R db/journals/jss/jss11.html#MishraS90