TY  - RPRT
TI  - Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects
AU  - Ilya Sergey
AU  - Aleksandar Nanevski
AU  - Anindya Banerjee
AU  - German Andres Delbianco
PY  - 2016
UR  - https://arxiv.org/abs/1509.06220
ID  - 1509.06220
ER  -