@misc{indiciae89200abd7897,
  title = {Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory},
  author = {Eleni Bila and Simon Doherty and Brijesh Dongol and John Derrick and Gerhard Schellhorn and Heike Wehrheim},
  year = {2020},
  url = {https://arxiv.org/abs/2004.08200},
  note = {Source identifier: 2004.08200}
}