Pages that link to "Item:Q763473"
From MaRDI portal
The following pages link to Fine-grained concurrency with separation logic (Q763473):
Displaying 5 items.
- Formal verification of concurrent programs with Read-write locks (Q351980) (← links)
- Logical relations for fine-grained concurrency (Q2931809) (← links)
- Barriers in Concurrent Separation Logic (Q3000585) (← links)
- Permission accounting in separation logic (Q5276151) (← links)
- A separation logic for refining concurrent objects (Q5408547) (← links)