On the Relative Expressiveness of Higher-Order Session Processes
No abstract available.
Related papers
- Higher-Order Processes, Functions, and Sessions: A Monadic Integration ESOP 2013
- Monitors and blame assignment for higher-order session types POPL 2016
- Manifest Deadlock-Freedom for Shared Session Types ESOP 2019
- Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency ECOOP 2024
- System Fμ ømega with Context-free Session Types ESOP 2023
- Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes ESOP 2019
- Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing POPL 2024
- Minimal Session Types (Pearl) ECOOP 2019