@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 2024/12/26}}}