TY  - RPRT
TI  - Correctness of Hierarchical MCS Locks with Timeout
AU  - Milind Chabbi
AU  - Abdelhalim Amer
AU  - Shasha Wen
AU  - Xu Liu
PY  - 2016
UR  - https://arxiv.org/abs/1612.09576
ID  - 1612.09576
ER  -