@inproceedings{inproceedings, title  = {{Proving opacity of a pessimistic STM}},

 publisher = {{Dagstuhl Publishing}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/117583 https://doi.org/10.4230/LIPIcs.OPODIS.2016.35 }},

 year = {{2017}},

 month = {{1}},

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

 doi = {{10.4230/LIPIcs.OPODIS.2016.35}},

 isbn = {{9783959770316}},

 volume = {{70}},

 journal = {{Leibniz International Proceedings in Informatics}},

 issue = {{35}},

 pages = {{35.1-35.17}},

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