Similar Items: Permission-Based Separation Logic for Message-Passing Concurrency
- Permission-Based Separation Logic for Multithreaded Java Programs
- Independence and concurrent separation logic
- Propositional Dynamic Logic for Message-Passing Systems
- Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems
- Barriers in Concurrent Separation Logic: Now With Tool Support!
- Typing Copyless Message Passing