TY  - RPRT
TI  - Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
AU  - Eleni Bila
AU  - Simon Doherty
AU  - Brijesh Dongol
AU  - John Derrick
AU  - Gerhard Schellhorn
AU  - Heike Wehrheim
PY  - 2020
UR  - https://arxiv.org/abs/2004.08200
ID  - 2004.08200
ER  -