Kazuhiro Ogata Kokichi Futatsugi Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm. 181-195 2002 conf/fmoods/2002 FMOODS db/conf/fmoods/fmoods2002.html#OgataF02