The following pages link to Views (Q2931804):
Displaying 25 items.
- Abstract local reasoning for concurrent libraries: mind the gap (Q283756) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- A perspective on specifying and verifying concurrent modules (Q1648035) (← links)
- Decision problems in a logic for reasoning about reconfigurable distributed systems (Q2104556) (← links)
- A game semantics of concurrent separation logic (Q2130597) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- Modular Termination Verification for Non-blocking Concurrency (Q2802477) (← links)
- Constructing the Views Framework (Q2814615) (← links)
- On Rely-Guarantee Reasoning (Q2941165) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- Temporary Read-Only Permissions for Separation Logic (Q2988642) (← links)
- Caper (Q2988651) (← links)
- Tackling Real-Life Relaxed Concurrency with FSL++ (Q2988652) (← links)
- A Higher-Order Logic for Concurrent Termination-Preserving Refinement (Q2988673) (← links)
- Abstract Specifications for Concurrent Maps (Q2988678) (← links)
- Verifying Concurrent Graph Algorithms (Q3179300) (← 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)
- Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
- Convolution as a Unifying Concept (Q5277916) (← links)
- Steps in modular specifications for concurrent modules (invited tutorial paper) (Q5971389) (← links)
- Concise outlines for a complex logic: a proof outline checker for TaDA (Q6145023) (← links)
- Make flows small again: revisiting the flow framework (Q6535380) (← links)
- Rely-guarantee reasoning for causally consistent shared memory (Q6535633) (← links)
