Pages that link to "Item:Q1688548"
From MaRDI portal
The following pages link to Relating trace refinement and linearizability (Q1688548):
Displaying 4 items.
- Linearizability on hardware weak memory models (Q782494) (← links)
- Using refinement calculus techniques to prove linearizability (Q1941870) (← links)
- Tractable refinement checking for concurrent objects (Q2819855) (← links)
- Putting strong linearizability in context: preserving hyperproperties in programs that use concurrent objects (Q6487519) (← links)