Verification of Distributed Mutual Exclusion Algorithms.

Mitchell L. Neilsen Verification of Distributed Mutual Exclusion Algorithms. 13-18 2008 ISCA PDCCS conf/ISCApdcs/2008 db/conf/ISCApdcs/pdccs2008.html#Neilsen08