2020
DOI: 10.48550/arxiv.2004.08200
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

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

Help me understand this report

This publication either has no citations yet, or we are still processing them

Set email alert for when this publication receives citations?

See others like this or search for similar articles