Similar Items: Logical Concurrency Control from Sequential Proofs
- Independence and concurrent separation logic
- Permission-Based Separation Logic for Message-Passing Concurrency
- Barriers in Concurrent Separation Logic: Now With Tool Support!
- Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
- Proof-Relevant Logical Relations for Name Generation
- Online Monitoring of Metric Temporal Logic using Sequential Networks