TY - JOUR T1 - A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures JO - ACM Transactions on Computational Logic UR - http://eprints.whiterose.ac.uk/90972/ PY - 2014/09/12 AU - Schellhorn G AU - Derrick J AU - Wehrheim H ED - DO - DOI: 10.1145/2629496 PB - Association for Computing Machinery (ACM) VL - 15 IS - 4 SP - 1 EP - 37 Y2 - 2025/07/26 ER -