Pages that link to "Item:Q2988652"
From MaRDI portal
The following pages link to Tackling Real-Life Relaxed Concurrency with FSL++ (Q2988652):
Displayed 4 items.
- Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL (Q832723) (← links)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- Making Linearizability Compositional for Partially Ordered Executions (Q6104493) (← links)
- Concise outlines for a complex logic: a proof outline checker for TaDA (Q6145023) (← links)