TY  - CONF

T1  - Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory

JO  - Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2020. Lecture Notes in Computer Science

PY  - 2020/06/08

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

VL  - 12136

SP  - 39

EP  - 58

Y2  - 2025/11/27

ER  -