Pages that link to "Item:Q3449485"
From MaRDI portal
The following pages link to Owicki-Gries Reasoning for Weak Memory Models (Q3449485):
Displayed 14 items.
- Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL (Q832723) (← links)
- Thread-modular analysis of release-acquire concurrency (Q2145344) (← links)
- Checking robustness between weak transactional consistency models (Q2233450) (← links)
- Tackling Real-Life Relaxed Concurrency with FSL++ (Q2988652) (← links)
- (Q3130550) (← links)
- Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models (Q3179280) (← links)
- Verifying Visibility-Based Weak Consistency (Q5041095) (← links)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- (Q5856416) (← links)
- Robustness Against Transactional Causal Consistency. (Q5875392) (← 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)