Pages that link to "Item:Q2892722"
From MaRDI portal
The following pages link to Concurrent Library Correctness on the TSO Memory Model (Q2892722):
Displaying 10 items.
- Linearizability on hardware weak memory models (Q782494) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- TSO-to-TSO linearizability is undecidable (Q1629746) (← links)
- Higher-order linearisability (Q2423744) (← links)
- Bounded TSO-to-SC Linearizability Is Decidable (Q2794380) (← links)
- Model Checking Simulation Rules for Linearizability (Q4571132) (← links)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- A Framework for Correctness Criteria on Weak Memory Models (Q5206951) (← links)
- Linearizability with ownership transfer (Q5891172) (← links)
- Making Linearizability Compositional for Partially Ordered Executions (Q6104493) (← links)