Pages that link to "Item:Q2946743"
From MaRDI portal
The following pages link to A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743):
Displaying 5 items.
- Mechanized proofs of opacity: a comparison of two techniques (Q1673658) (← links)
- Relating trace refinement and linearizability (Q1688548) (← links)
- Verifying correctness of persistent concurrent data structures: a sound and complete method (Q1982636) (← links)
- Proving Linearizability Using Partial Orders (Q2988662) (← links)
- Model Checking Simulation Rules for Linearizability (Q4571132) (← links)
