Pages that link to "Item:Q865625"
From MaRDI portal
The following pages link to A general lock-free algorithm using compare-and-swap (Q865625):
Displaying 7 items.
- A scalable lock-free stack algorithm (Q666004) (← links)
- A general technique for proving lock-freedom (Q1001810) (← links)
- Trace-based derivation of a scalable lock-free stack algorithm (Q1019022) (← links)
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos (Q2377304) (← links)
- On the time and space complexity of ABA prevention and detection (Q2796257) (← links)
- Computer Aided Verification (Q5312931) (← links)
- Simulation Refinement for Concurrency Verification (Q5403461) (← links)