Safety and Liveness of MCS Lock - Layer by Layer.

Jieung Kim, Vilhelm Sjberg, Ronghui Gu, Zhong Shao

Browse the full APLAS paper archive.