Pages that link to "Item:Q879368"
From MaRDI portal
The following pages link to Resources, concurrency, and local reasoning (Q879368):
Displayed 5 items.
- A semantics for concurrent separation logic (Q879367) (← links)
- Spatial-behavioral types for concurrency and resource control in distributed systems (Q935465) (← links)
- Behaviour approximated on subgroups (Q1030197) (← links)
- Separation Logic Tutorial (Q5504642) (← links)
- Separation Logic Contracts for a Java-Like Language with Fork/Join (Q5505424) (← links)