@misc{indiciae4cd29cec5700,
  title = {Correctness of Hierarchical MCS Locks with Timeout},
  author = {Milind Chabbi and Abdelhalim Amer and Shasha Wen and Xu Liu},
  year = {2016},
  url = {https://arxiv.org/abs/1612.09576},
  note = {Source identifier: 1612.09576}
}