Similar Items: Independence and concurrent separation logic
- Permission-Based Separation Logic for Message-Passing Concurrency
- Barriers in Concurrent Separation Logic: Now With Tool Support!
- Separability in the Ambient Logic
- Logical Concurrency Control from Sequential Proofs
- Relational Parametricity and Separation Logic
- Amortised Resource Analysis with Separation Logic