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 4 items.
- Flashix: modular verification of a concurrent and crash-safe flash file system (Q2117600) (← 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)
