Similar Items: ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
- Independence and concurrent separation logic
- Logical Concurrency Control from Sequential Proofs
- Permission-Based Separation Logic for Message-Passing Concurrency
- Barriers in Concurrent Separation Logic: Now With Tool Support!
- Logical Step-Indexed Logical Relations
- Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints