Pages that link to "Item:Q879367"
From MaRDI portal
The following pages link to A semantics for concurrent separation logic (Q879367):
Displayed 5 items.
- 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)
- A Formalisation of Smallfoot in HOL (Q3183546) (← links)
- Separation Logic Tutorial (Q5504642) (← links)