TY - CONF T1 - Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory PY - 2020/01/01 AU - Bila E AU - Doherty S AU - Dongol B AU - Derrick J AU - Schellhorn G AU - Wehrheim H ED - DO - DOI: 10.1007/978-3-030-50086-3_3 PB - Springer International Publishing SN - 9783030500856 SP - 39 EP - 58 Y2 - 2025/07/10 ER -