Pages that link to "Item:Q2931839"
From MaRDI portal
The following pages link to Subjective auxiliary state for coarse-grained concurrency (Q2931839):
Displayed 8 items.
- A perspective on specifying and verifying concurrent modules (Q1648035) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- Tackling Real-Life Relaxed Concurrency with FSL++ (Q2988652) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems (Q5041100) (← links)
- Connecting Higher-Order Separation Logic to a First-Order Outside World (Q5041105) (← links)
- (Q5090915) (← links)
- Steps in modular specifications for concurrent modules (invited tutorial paper) (Q5971389) (← links)