@misc{indiciae692d81f5366f,
  title = {Proving linearizability using forward simulations},
  author = {Ahmed Bouajjani and Michael Emmi and Constantin Enea and Suha Orhun Mutluergil},
  year = {2017},
  url = {https://arxiv.org/abs/1702.02705},
  note = {Source identifier: 1702.02705}
}