TY  - RPRT
TI  - Simplifying proofs of linearisability using layers of abstraction
AU  - Brijesh Dongol
AU  - John Derrick
PY  - 2013
UR  - https://arxiv.org/abs/1307.6958
ID  - 1307.6958
ER  -