Pages that link to "Item:Q3518272"
From MaRDI portal
The following pages link to Independence and concurrent separation logic (Q3518272):
Displaying 5 items.
- A verifiable low-level concurrent programming model based on colored Petri nets (Q350966) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- Logics and Bisimulation Games for Concurrency, Causality and Conflict (Q3617720) (← links)
- Precision and the Conjunction Rule in Concurrent Separation Logic (Q5739357) (← links)
- Concurrent Separation Logic and Operational Semantics (Q5739365) (← links)
