Linear Logical Relations for Session-Based Concurrency
Abstract elided by the publisher.
Related papers
- Recursive Logical Relations for Intuitionistic Linear Logic Session Types ESOP 2026
- Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing POPL 2024
- Contrasting Deadlock-Free Session Processes ECOOP 2025
- A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency OOPSLA 2022
- Lolliproc: to concurrency from classical linear logic via curry-howard and control ICFP 2010
- The Session Abstract Machine ESOP 2024
- Fair Termination of Asynchronous Binary Sessions ECOOP 2025
- Fair Termination of Asynchronous Binary Sessions TOPLAS 2026