Pages that link to "Item:Q1019022"
From MaRDI portal
The following pages link to Trace-based derivation of a scalable lock-free stack algorithm (Q1019022):
Displaying 6 items.
- Proving linearizability with temporal logic (Q539223) (← links)
- A scalable lock-free stack algorithm (Q666004) (← links)
- A general lock-free algorithm using compare-and-swap (Q865625) (← links)
- A general technique for proving lock-freedom (Q1001810) (← links)
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
- Reuse, don't recycle: transforming lock-free algorithms that throw away descriptors (Q6487476) (← links)