The following pages link to Completeness of ASM Refinement (Q5403462):
Displaying 4 items.
- Starvation-free mutual exclusion with semaphores (Q469360) (← links)
- Simulation refinement for concurrency verification (Q541209) (← links)
- Flashix: modular verification of a concurrent and crash-safe flash file system (Q2117600) (← links)
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
