Pages that link to "Item:Q2397039"
From MaRDI portal
The following pages link to Revisiting concurrent separation logic (Q2397039):
Displaying 11 items.
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- Barriers in concurrent separation logic: now with tool support! (Q2887058) (← links)
- Barriers in Concurrent Separation Logic (Q3000585) (← links)
- (Q3306500) (← links)
- Parameterized Memory Models and Concurrent Separation Logic (Q3558227) (← links)
- An Asynchronous Soundness Theorem for Concurrent Separation Logic (Q5145346) (← links)
- (Q5155670) (← links)
- Convolution as a Unifying Concept (Q5277916) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311481) (← links)
- Precision and the Conjunction Rule in Concurrent Separation Logic (Q5739357) (← links)
- Concurrent Separation Logic and Operational Semantics (Q5739365) (← links)