Formal specification and model checking of a recoverable wait-free version of MCS. - Duong Dinh Tran; Kentaro Waki; Kazuhiro Ogata 001 (SEKE, 2021)