TY  - RPRT
TI  - Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
AU  - Jonah Pears
AU  - Laura Bocchi
AU  - Maurizio Murgia
AU  - Andy King
PY  - 2025
DO  - 10.46298/lmcs-21(3:6)2025
UR  - https://arxiv.org/abs/2401.11197
ID  - 2401.11197
ER  -