Pages that link to "Item:Q2931799"
From MaRDI portal
The following pages link to Library abstraction for C/C++ concurrency (Q2931799):
Displayed 4 items.
- TSO-to-TSO linearizability is undecidable (Q1629746) (← links)
- Tackling Real-Life Relaxed Concurrency with FSL++ (Q2988652) (← links)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- Making Linearizability Compositional for Partially Ordered Executions (Q6104493) (← links)