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

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

17 April 2020

ArXiv (abs)PDF HTML

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

Title
No papers