Formal specification and model checking of a recoverable wait-free version of MCS.

Duong Dinh Tran, Kentaro Waki, Kazuhiro Ogata

Browse the full SEKE paper archive.