The following pages link to A criterion for atomicity revisited (Q884994):
Displaying 14 items.
- Simulation refinement for concurrency verification (Q541209) (← links)
- A note on atomicity: boosting Test\&Set to solve consensus (Q987831) (← links)
- A queue based mutual exclusion algorithm (Q1006897) (← links)
- A criterion for atomicity (Q1192605) (← links)
- An assertional criterion for atomicity (Q1608943) (← links)
- An assertional proof for a construction of an atomic variable (Q1764428) (← links)
- Universal extensions to simulate specifications (Q2475808) (← links)
- A challenge for atomicity verification (Q2482021) (← links)
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
- (Q3198881) (← links)
- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification (Q3535380) (← links)
- Tight failure detection bounds on atomic object implementations (Q3578204) (← links)
- Simulation Refinement for Concurrency Verification (Q5403461) (← links)
- Causal Atomicity (Q5756744) (← links)