@inproceedings{inproceedings, title  = {{Linearizability and Causality}},

 publisher = {{Springer}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/113094 }},

 year = {{2016}},

 month = {{6}},

 author = {{Doherty S and Derrick J}},

 doi = {{10.1007/978-3-319-41591-8_4}},

 isbn = {{978-3-319-41590-1}},

 volume = {{9763}},

 journal = {{ Software Engineering and Formal Methods}},

 pages = {{45-60}},

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