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

 publisher = {{Springer Verlag}},

 url = {{http://eprints.whiterose.ac.uk/136601/ }},

 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 LNCS}},

 journal = {{Integrated Formal Methods}},

 pages = {{110-129}},

 note = {{Accessed on 2024/12/22}}}