@misc{indiciaef5a86513a4bd,
  title = {A Fault-Tolerant Sequentially Consistent DSM With a Compositional Correctness Proof},
  author = {Niklas Ekström and Seif Haridi},
  year = {2016},
  url = {https://arxiv.org/abs/1608.02442},
  note = {Source identifier: 1608.02442}
}