TY  - JOUR

T1  - A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures

JO  - ACM Transactions on Computational Logic

UR  - https://eprints.whiterose.ac.uk/id/eprint/90972

UR  - https://dx.doi.org/10.1145/2629496

PY  - 2014/09/12

AU  - Schellhorn G

AU  - Derrick J

AU  - Wehrheim H

ED  - 

DO  - DOI: 10.1145/2629496

PB  - Association for Computing Machinery 

VL  - 15

IS  - 4

Y2  - 2025/11/27

ER  -