Global Principal Typing in Partially Commutative Asynchronous Sessions
Abstract elided by the publisher.
Related papers
- Fair Termination of Asynchronous Binary Sessions ECOOP 2025
- Fair Termination of Asynchronous Binary Sessions TOPLAS 2026
- Multiparty asynchronous session types POPL 2008
- Deciding Subtyping for Asynchronous Multiparty Sessions ESOP 2024
- Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts ECOOP 2023
- Mixed Choice in Asynchronous Multiparty Session Types OOPSLA 2026
- Deadlock-freedom-by-design: multiparty asynchronous global programming POPL 2013
- Designing Asynchronous Multiparty Protocols with Crash-Stop Failures ECOOP 2023