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

 publisher = {{Springer International Publishing}},

 url = {{}},

 year = {{2020}},

 month = {{6}},

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

 volume = {{12136}},

 journal = {{Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2020. Lecture Notes in Computer Science}},

 pages = {{39-58}},

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