Fair Termination of Asynchronous Binary Sessions
No abstract available.
Related papers
- Fair Termination of Asynchronous Binary Sessions TOPLAS 2026
- Fair termination of binary sessions POPL 2022
- Fair Termination of Multiparty Sessions ECOOP 2022
- Verifying Almost-Sure Termination for Randomized Distributed Algorithms POPL 2026
- Verifying liveness for asynchronous programs POPL 2009
- Multiparty asynchronous session types POPL 2008
- Exceptional asynchronous session types: session types without tiers POPL 2019
- Precise subtyping for asynchronous multiparty sessions POPL 2021