TY  - RPRT
TI  - A sound and complete definition of linearizability on weak memory models
AU  - Graeme Smith
AU  - Kirsten Winter
AU  - Robert J. Colvin
PY  - 2019
UR  - https://arxiv.org/abs/1802.04954
ID  - 1802.04954
ER  -