TY  - RPRT
TI  - Proving linearizability using forward simulations
AU  - Ahmed Bouajjani
AU  - Michael Emmi
AU  - Constantin Enea
AU  - Suha Orhun Mutluergil
PY  - 2017
UR  - https://arxiv.org/abs/1702.02705
ID  - 1702.02705
ER  -