@inproceedings{inproceedings, title = {{Linearizability and Causality}}, url = {{http://eprints.whiterose.ac.uk/113094/ }}, year = {{2016}}, month = {{6}}, author = {{Doherty S and Derrick J}}, doi = {{10.1007/978-3-319-41591-8_4}}, isbn = {{9783319415901}}, volume = {{9763}}, journal = {{Software Engineering and Formal Methods. SEFM 2016. Lecture Notes in Computer Science}}, pages = {{45-60}}, note = {{Accessed on 2025/05/31}}}