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  - 2024/12/22

ER  -