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

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

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

 pages = {{35.1-35.17}},

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