@misc{indiciaeba55a4e7f11d,
  title = {Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects},
  author = {Ilya Sergey and Aleksandar Nanevski and Anindya Banerjee and German Andres Delbianco},
  year = {2016},
  url = {https://arxiv.org/abs/1509.06220},
  note = {Source identifier: 1509.06220}
}