@inproceedings{inproceedings, title  = {{An observational approach to defining linearizability on weak memory models}},

 publisher = {{Springer, Cham}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/118706 https://doi.org/10.1007/978-3-319-60225-7_8 }},

 year = {{2017}},

 month = {{5}},

 author = {{Derrick J and Smith G}},

 doi = {{10.1007/978-3-319-60225-7_8}},

 isbn = {{9783319602240}},

 journal = {{Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2017}},

 issue = {{10321}},

 pages = {{108-123}},

 note = {{Accessed on 2025/11/27}}}