Pages that link to "Item:Q782494"
From MaRDI portal
The following pages link to Linearizability on hardware weak memory models (Q782494):
Displaying 7 items.
- Modular verification of concurrency-aware linearizability (Q1664150) (← links)
- Specifying concurrent problems: beyond linearizability and up to tasks (extended abstract) (Q1664155) (← links)
- Relating trace refinement and linearizability (Q1688548) (← links)
- Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP (Q2154026) (← links)
- An Observational Approach to Defining Linearizability on Weak Memory Models (Q5082193) (← links)
- Making Linearizability Compositional for Partially Ordered Executions (Q6104493) (← links)
- Putting strong linearizability in context: preserving hyperproperties in programs that use concurrent objects (Q6487519) (← links)