TY  - CONF

T1  - Proving linearizability via non-atomic refinement

JO  - Integrated Formal Methods, Proceedings

PY  - 2007/01/01

AU  - Derrick J

AU  - Schellhorn G

AU  - Wehrheim H

ED  - Davies J

ED  - Gibbons J

VL  - 4591

SP  - 195

EP  - 214

Y2  - 2024/10/23

ER  -