Pages that link to "Item:Q2482021"
From MaRDI portal
The following pages link to A challenge for atomicity verification (Q2482021):
Displaying 8 items.
- Simulation refinement for concurrency verification (Q541209) (← links)
- Nonatomic dual bakery algorithm with bounded tokens (Q766163) (← links)
- A criterion for atomicity revisited (Q884994) (← links)
- Verifying atomic data types (Q914403) (← links)
- A note on atomicity: boosting Test\&Set to solve consensus (Q987831) (← links)
- An assertional proof for a construction of an atomic variable (Q1764428) (← links)
- Tight failure detection bounds on atomic object implementations (Q3578204) (← links)
- Simulation Refinement for Concurrency Verification (Q5403461) (← links)