TY  - CONF

T1  - Simplifying proofs of linearisability using layers of abstraction

JO  - Electronic Communications of the EASST

PY  - 2013/01/01

AU  - Dongol B

AU  - Derrick J

ED  - 

DO  - DOI: 10.14279/tuj.eceasst.66.889.875

VL  - 66

Y2  - 2024/10/23

ER  -