@inproceedings{inproceedings, title = {{Simplifying proofs of linearisability using layers of abstraction}}, url = {{}}, year = {{2013}}, month = {{1}}, author = {{Dongol B and Derrick J}}, doi = {{10.14279/tuj.eceasst.66.889.875}}, volume = {{66}}, journal = {{Electronic Communications of the EASST}}, note = {{Accessed on 2025/07/02}}}