Model Checking of the Suzuki-Kasami Distributed Mutual Exclusion Algorithm with SPIN. - Shouki Sakamoto; Kazuhiro Ogata 001 (DSA, 2018)