Pages that link to "Item:Q879367"

The following pages link to A semantics for concurrent separation logic (Q879367):

Displaying 33 items.

• Automata-theoretic semantics of idealized Algol with passive expressions (Q265826) (← links)
• Formal verification of concurrent programs with Read-write locks (Q351980) (← links)
• Elucidating concurrent algorithms via layers of abstraction and reification (Q539423) (← links)
• Blaming the client: on data refinement in the presence of pointers (Q607403) (← links)
• Inter-process buffers in separation logic with rely-guarantee (Q613139) (← links)
• Trace-based verification of imperative programs with I/O (Q617977) (← links)
• An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
• Fine-grained concurrency with separation logic (Q763473) (← links)
• A calculus and logic of bunched resources and processes (Q906271) (← links)
• A perspective on specifying and verifying concurrent modules (Q1648035) (← links)
• Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
• Reasoning about block-based cloud storage systems via separation logic (Q2087457) (← links)
• Improving thread-modular abstract interpretation (Q2145342) (← links)
• RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
• Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations (Q2256965) (← links)
• Fifty years of Hoare's logic (Q2280214) (← links)
• Verifying a concurrent garbage collector with a rely-guarantee methodology (Q2319995) (← links)
• On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
• Revisiting concurrent separation logic (Q2397039) (← links)
• Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (Q2817938) (← links)
• A Discrete Geometric Model of Concurrent Program Execution (Q2971172) (← links)
• Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (Q2988661) (← links)
• Granularity and Concurrent Separation Logic (Q3090832) (← links)
• On Locality and the Exchange Law for Concurrent Processes (Q3090834) (← links)
• (Q3121529) (← links)
• Compositional Reasoning (Q3176370) (← links)
• Completeness for a First-Order Abstract Separation Logic (Q3179309) (← links)
• A Formalisation of Smallfoot in HOL (Q3183546) (← links)
• Separation Logic Semantics for Communicating Processes (Q5415605) (← links)
• Higher-Order Separation Logic in Isabelle/HOLCF (Q5415649) (← links)
• Precision and the Conjunction Rule in Concurrent Separation Logic (Q5739357) (← links)
• A Resource Analysis of the π-calculus (Q5739364) (← links)
• Concurrent Separation Logic and Operational Semantics (Q5739365) (← links)