Pages that link to "Item:Q879368"
From MaRDI portal
The following pages link to Resources, concurrency, and local reasoning (Q879368):
Displaying 50 items.
- Abstract local reasoning for concurrent libraries: mind the gap (Q283756) (← links)
- A logic of separating modalities (Q290917) (← links)
- A verifiable low-level concurrent programming model based on colored Petri nets (Q350966) (← links)
- Formal verification of concurrent programs with Read-write locks (Q351980) (← links)
- Explanation of two non-blocking shared-variable communication algorithms (Q469352) (← links)
- Elucidating concurrent algorithms via layers of abstraction and reification (Q539423) (← links)
- Algebraic separation logic (Q549676) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← 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)
- Fine-grained concurrency with separation logic (Q763473) (← links)
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- Product programs in the wild: retrofitting program verifiers to check information flow security (Q832225) (← links)
- A semantics for concurrent separation logic (Q879367) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- A calculus and logic of bunched resources and processes (Q906271) (← links)
- Spatial-behavioral types for concurrency and resource control in distributed systems (Q935465) (← links)
- Algebra and logic for access control (Q968301) (← links)
- Graphical models of separation logic (Q989553) (← links)
- Behaviour approximated on subgroups (Q1030197) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- A perspective on specifying and verifying concurrent modules (Q1648035) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- A relational shape abstract domain (Q2058389) (← links)
- An adaptation-complete proof system for local reasoning about cloud storage systems (Q2072067) (← links)
- Reasoning about block-based cloud storage systems via separation logic (Q2087457) (← links)
- Decision problems in a logic for reasoning about reconfigurable distributed systems (Q2104556) (← links)
- A game semantics of concurrent separation logic (Q2130597) (← links)
- Improving thread-modular abstract interpretation (Q2145342) (← links)
- Strong-separation logic (Q2233486) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- Possible values: exploring a concept for concurrency (Q2374311) (← links)
- Revisiting concurrent separation logic (Q2397039) (← links)
- Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (Q2418046) (← links)
- Specifying graph languages with type graphs (Q2423749) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras (Q2695343) (← links)
- Verification of component-based systems with recursive architectures (Q2699967) (← links)
- Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (Q2817938) (← links)
- Certificates and Separation Logic (Q2830040) (← links)
- Transitive Separation Logic (Q2915132) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- Temporary Read-Only Permissions for Separation Logic (Q2988642) (← links)
- Caper (Q2988651) (← links)
- Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (Q2988661) (← 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)
- Verified Software Toolchain (Q3000569) (← links)
