Ted Herman Superstabilizing Mutual Exclusion. 1-17 2000 13 Distributed Computing 1 http://link.springer.de/link/service/journals/00446/bibs/0013001/00130001.htm db/journals/dc/dc13.html#Herman00