Pages that link to "Item:Q3584944"
From MaRDI portal
The following pages link to Reasoning about Optimistic Concurrency Using a Program Logic for History (Q3584944):
Displayed 5 items.
- A relational shape abstract domain (Q2058389) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
- Formal Verification of a Lock-Free Stack with Hazard Pointers (Q3105753) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)