Pages that link to "Item:Q5370854"
From MaRDI portal
The following pages link to A promising semantics for relaxed-memory concurrency (Q5370854):
Displayed 16 items.
- Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL (Q832723) (← links)
- A wide-spectrum language for verification of programs on weak memory models (Q2024349) (← links)
- Operational semantics with semicommutations (Q2043812) (← links)
- Thread-modular analysis of release-acquire concurrency (Q2145344) (← links)
- Information-flow control on ARM and POWER multicore processors (Q2147697) (← links)
- The decidability of verification under PS 2.0 (Q2233444) (← links)
- Tackling Real-Life Relaxed Concurrency with FSL++ (Q2988652) (← links)
- Modular Relaxed Dependencies in Weak Memory Concurrency (Q5041113) (← links)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5915975) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5918263) (← links)
- Parallelized sequential composition and hardware weak memory models (Q6045051) (← links)
- Making Linearizability Compositional for Partially Ordered Executions (Q6104493) (← links)
- Reasoning about promises in weak memory models with event structures (Q6174540) (← links)
- A fine-grained semantics for arrays and pointers under weak memory models (Q6174541) (← links)
- An algebraic theory for shared-state concurrency (Q6176562) (← links)