Pages that link to "Item:Q879367"
From MaRDI portal
The following pages link to A semantics for concurrent separation logic (Q879367):
Displayed 15 items.
- 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)
- Fine-grained concurrency with separation logic (Q763473) (← 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)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- Granularity and Concurrent Separation Logic (Q3090832) (← links)
- On Locality and the Exchange Law for Concurrent Processes (Q3090834) (← 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)
- Separation Logic Tutorial (Q5504642) (← links)