@inproceedings{inproceedings, title  = {{Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory}},

 publisher = {{Springer International Publishing}},

 url = {{}},

 year = {{2020}},

 month = {{1}},

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

 doi = {{10.1007/978-3-030-50086-3_3}},

 isbn = {{9783030500856}},

 pages = {{39-58}},

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