TY  - RPRT
TI  - Correctness of Concurrent Objects under Weak Memory Models
AU  - Graeme Smith
AU  - Kirsten Winter
AU  - Robert J. Colvin
PY  - 2018
DO  - 10.4204/eptcs.282.5
UR  - https://arxiv.org/abs/1810.09612
ID  - 1810.09612
ER  -