Pages that link to "Item:Q2938158"
From MaRDI portal
The following pages link to Reasoning Algebraically About Refinement on TSO Architectures (Q2938158):
Displaying 4 items.
- Linearizability on hardware weak memory models (Q782494) (← links)
- TSO-to-TSO linearizability is undecidable (Q1629746) (← links)
- Reasoning about TSO programs using reduction and abstraction (Q6039412) (← links)
- Making Linearizability Compositional for Partially Ordered Executions (Q6104493) (← links)