The following pages link to Deny-Guarantee Reasoning (Q3617714):
Displaying 13 items.
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- A perspective on specifying and verifying concurrent modules (Q1648035) (← links)
- Reasoning about block-based cloud storage systems via separation logic (Q2087457) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (Q2418046) (← links)
- The Essence of Higher-Order Concurrent Separation Logic (Q2988664) (← links)
- Abstract Specifications for Concurrent Maps (Q2988678) (← links)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- A Resource Analysis of the π-calculus (Q5739364) (← links)
- Steps in modular specifications for concurrent modules (invited tutorial paper) (Q5971389) (← links)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)
