@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 2025/05/22}}}