Pages that link to "Item:Q5244818"
From MaRDI portal
The following pages link to Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency (Q5244818):
Displaying 22 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)
- On models of higher-order separation logic (Q2130583) (← links)
- Stateful applied pi calculus: observational equivalence and labelled bisimilarity (Q2397042) (← links)
- Higher-order linearisability (Q2423744) (← links)
- Modular Termination Verification for Non-blocking Concurrency (Q2802477) (← links)
- Transfinite Step-Indexing: Decoupling Concrete and Logical Steps (Q2802498) (← links)
- Contextual Approximation and Higher-Order Procedures (Q2811338) (← links)
- Caper (Q2988651) (← links)
- Proving Linearizability Using Partial Orders (Q2988662) (← links)
- The Essence of Higher-Order Concurrent Separation Logic (Q2988664) (← 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)
- (Q5090915) (← links)
- (Q5111648) (← links)
- (Q5155670) (← 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)
