Binary Session Types for Psi-Calculi
No abstract available.
Related papers
- Bisimulation up-to techniques for psi-calculi CPP 2016
- Multiparty asynchronous session types POPL 2008
- EMTST: Engineering the Meta-theory of Session Types TACAS 2020
- Haskell session types with (almost) no class Haskell 2008
- A simple library implementation of binary sessions JFP 2017
- Fair termination of binary sessions POPL 2022
- Fair Termination of Asynchronous Binary Sessions TOPLAS 2026
- Multiparty GV: functional multiparty session types with certified deadlock freedom ICFP 2022