Pages that link to "Item:Q3012940"
From MaRDI portal
The following pages link to Liveness-Preserving Atomicity Abstraction (Q3012940):
Displaying 6 items.
- Linearizability on hardware weak memory models (Q782494) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- Relating trace refinement and linearizability (Q1688548) (← links)
- Higher-order linearisability (Q2423744) (← links)
- Liveness-Preserving Atomicity Abstraction (Q3012940) (← links)
- (Q5111648) (← links)
