@inproceedings{inproceedings, title = {{An observational approach to defining linearizability on weak memory models}}, publisher = {{Springer}}, url = {{http://eprints.whiterose.ac.uk/118706/ }}, year = {{2017}}, month = {{5}}, author = {{Derrick J and Smith G}}, doi = {{10.1007/978-3-319-60225-7_8}}, isbn = {{9783319602240}}, journal = {{Lecture Notes in Computer Science}}, pages = {{108-123}}, note = {{Accessed on 2025/05/19}}}