TY  - RPRT
TI  - Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs that Use Concurrent Objects
AU  - Hagit Attiya
AU  - Constantin Enea
PY  - 2019
UR  - https://arxiv.org/abs/1905.12063
ID  - 1905.12063
ER  -