TY  - RPRT

T1  - Proving linearisability via coarse-grained abstraction

PY  - 2012/12/20

AU  - Dongol B

AU  - Derrick J

ED  - 

Y2  - 2025/01/13

ER  -