Pages that link to "Item:Q1982636"
From MaRDI portal
The following pages link to Verifying correctness of persistent concurrent data structures: a sound and complete method (Q1982636):
Displaying 8 items.
- Flashix: modular verification of a concurrent and crash-safe flash file system (Q2117600) (← links)
- Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata (Q2734633) (← links)
- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory (Q5041273) (← links)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- (Q5101340) (← links)
- Robust Shared Objects for Non-Volatile Main Memory (Q5363811) (← links)
- The limits of helping in non-volatile memory data structures (Q6155236) (← links)
- A verified durable transactional mutex lock for persistent x86-TSO (Q6661756) (← links)