Pages that link to "Item:Q5206951"
From MaRDI portal
The following pages link to A Framework for Correctness Criteria on Weak Memory Models (Q5206951):
Displaying 7 items.
- Fences in weak memory models (Q453523) (← links)
- Linearizability on hardware weak memory models (Q782494) (← links)
- Relating trace refinement and linearizability (Q1688548) (← links)
- Cubicle-\(\mathcal{W}\): parameterized model checking on weak memory (Q1799076) (← links)
- Verification of Concurrent Programs on Weak Memory Models (Q3179387) (← links)
- Pitfalls in Memory Consistency Modelling (Q4598920) (← links)
- An Observational Approach to Defining Linearizability on Weak Memory Models (Q5082193) (← links)