The following pages link to Computer Aided Verification (Q5312931):
Displaying 9 items.
- Lock-free parallel and concurrent garbage collection by mark\&sweep (Q858913) (← links)
- A general lock-free algorithm using compare-and-swap (Q865625) (← links)
- A general technique for proving lock-freedom (Q1001810) (← links)
- Trace-based derivation of a scalable lock-free stack algorithm (Q1019022) (← links)
- Lock coarsening: Eliminating lock overhead in automatically parallelized object-based programs (Q1268806) (← links)
- Lock-free dynamic hash tables with open addressing (Q1953636) (← links)
- Designing irregular parallel algorithms with mutual exclusion and lock-free protocols (Q2495507) (← links)
- Simulation Refinement for Concurrency Verification (Q5403461) (← links)
- Proving a non-blocking algorithm for process renaming with TLA\textsuperscript{+} (Q6536175) (← links)
