The following pages link to A criterion for atomicity revisited (Q884994):
Displaying 5 items.
- Simulation refinement for concurrency verification (Q541209) (← links)
- A queue based mutual exclusion algorithm (Q1006897) (← links)
- Universal extensions to simulate specifications (Q2475808) (← links)
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
- Simulation Refinement for Concurrency Verification (Q5403461) (← links)
