TY  - RPRT
TI  - Reducing Opacity to Linearizability: A Sound and Complete Method
AU  - Alasdair Armstrong
AU  - Brijesh Dongol
AU  - Simon Doherty
PY  - 2016
UR  - https://arxiv.org/abs/1610.01004
ID  - 1610.01004
ER  -