Pages that link to "Item:Q5408547"
From MaRDI portal
The following pages link to A separation logic for refining concurrent objects (Q5408547):
Displaying 10 items.
- Formal verification of concurrent programs with Read-write locks (Q351980) (← links)
- Fine-grained concurrency with separation logic (Q763473) (← links)
- Logical relations for fine-grained concurrency (Q2931809) (← links)
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
- Barriers in Concurrent Separation Logic (Q3000585) (← links)
- (Q4251120) (← links)
- (Q4522244) (← links)
- Unifying Concurrent Objects and Distributed Tasks (Q4625665) (← links)
- Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency (Q5244818) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311481) (← links)