34 citations · 52 across the 13 of their papers we have counts for
1 paper · 2 filters
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…