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

From MaRDI portal
Publication:5041273

DOI10.1007/978-3-030-50086-3_3OpenAlexW3037775571MaRDI QIDQ5041273

Gerhard Schellhorn, Simon Doherty, Eleni Bila, John Derrick, Brijesh Dongol, Heike Wehrheim

Publication date: 13 October 2022

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2004.08200




Related Items (3)


Uses Software



Cites Work




This page was built for publication: Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory