Pages that link to "Item:Q858913"
From MaRDI portal
The following pages link to Lock-free parallel and concurrent garbage collection by mark\&sweep (Q858913):
Displaying 6 items.
- Proving linearizability with temporal logic (Q539223) (← links)
- A general lock-free algorithm using compare-and-swap (Q865625) (← links)
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos (Q2377304) (← links)
- Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (Q2418046) (← links)
- Simulation Refinement for Concurrency Verification (Q5403461) (← links)
- Simple concurrent garbage collection almost without synchronization (Q5962117) (← links)
