TY  - JOUR

T1  - Verifying Linearisability

JO  - ACM Computing Surveys

UR  - https://doi.org/10.1145/2796550

PY  - 2015/09/24

AU  - Dongol B

AU  - Derrick J

ED  - 

DO  - DOI: 10.1145/2796550

PB  - Association for Computing Machinery (ACM)

VL  - 48

IS  - 2

SP  - 1

EP  - 43

Y2  - 2025/11/06

ER  -