The following pages link to Line-up (Q30257):
Displaying 11 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)
- On the complexity of linearizability (Q2218465) (← links)
- Checking causal consistency of distributed databases (Q2676222) (← links)
- Concurrent Library Correctness on the TSO Memory Model (Q2892722) (← links)
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
- Liveness-Preserving Atomicity Abstraction (Q3012940) (← links)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- (Q5155670) (← links)
- Linearizability with ownership transfer (Q5891172) (← links)