1 paper
Milind Chabbi, Abdelhalim Amer, Shasha Wen +1
This manuscript serves as a correctness proof of the Hierarchical MCS locks with Timeout (HMCS-T) described in our paper titled "An Efficient Abortable-locking Protocol for Multi-l…