Pages that link to "Item:Q879367"
From MaRDI portal
The following pages link to A semantics for concurrent separation logic (Q879367):
Displaying 50 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)
- Non-preemptive semantics for data-race-free programs (Q1623168) (← links)
- A perspective on specifying and verifying concurrent modules (Q1648035) (← links)
- Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
- A formal semantics of nested atomic sections with thread escape (Q1749114) (← links)
- Program logic and equivalence in the presence of garbage collection. (Q1874283) (← 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)
- Variables as resource for shared-memory programs: semantics and soundness (Q2851320) (← links)
- A grainless semantics for parallel programs with shared mutable data (Q2852353) (← links)
- Barriers in concurrent separation logic: now with tool support! (Q2887058) (← links)
- A Discrete Geometric Model of Concurrent Program Execution (Q2971172) (← links)
- Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (Q2988661) (← links)
- Barriers in Concurrent Separation Logic (Q3000585) (← 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)
- Fairness, Resources, and Separation (Q3178252) (← links)
- Syntactic Control of Interference and Concurrent Separation Logic (Q3178275) (← links)
- Completeness for a First-Order Abstract Separation Logic (Q3179309) (← links)
- A Formalisation of Smallfoot in HOL (Q3183546) (← links)
- Automated Theorem Proving for Assertions in Separation Logic with All Connectives (Q3454118) (← links)
- Parameterized Memory Models and Concurrent Separation Logic (Q3558227) (← links)
- (Q3998342) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- Automated Verification of Parallel Nested DFS (Q5039512) (← links)
- A First-Order Logic with Frames (Q5041109) (← links)
- An Asynchronous Soundness Theorem for Concurrent Separation Logic (Q5145346) (← links)
- Concurrent Separation Logic Meets Template Games (Q5145677) (← links)
- (Q5155670) (← links)
- Permission accounting in separation logic (Q5276151) (← links)
- Convolution as a Unifying Concept (Q5277916) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311481) (← links)
- Interactive proofs in higher-order concurrent separation logic (Q5370856) (← links)
