TY  - RPRT
TI  - A Generic Logic for Proving Linearizability (Extended Version)
AU  - Artem Khyzha
AU  - Alexey Gotsman
AU  - Matthew Parkinson
PY  - 2016
UR  - https://arxiv.org/abs/1609.01171
ID  - 1609.01171
ER  -