@inproceedings{inproceedings, title  = {{Making linearizability compositional for partially ordered executions}},

 publisher = {{Springer Verlag}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/136601 https://doi.org/10.1007/978-3-319-98938-9_7 }},

 year = {{2018}},

 month = {{8}},

 author = {{Doherty S and Dongol B and Wehrheim H and Derrick J}},

 doi = {{10.1007/978-3-319-98938-9_7}},

 isbn = {{9783319989372}},

 volume = {{11023 }},

 journal = {{Integrated Formal Methods}},

 pages = {{110-129}},

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