TY  - RPRT
TI  - Proving linearisability via coarse-grained abstraction
AU  - Brijesh Dongol
AU  - John Derrick
PY  - 2012
UR  - https://arxiv.org/abs/1212.5116
ID  - 1212.5116
ER  -