TY  - RPRT
TI  - Safe asynchronous mixed-choice for timed interactions
AU  - Jonah Pears
AU  - Laura Bocchi
AU  - Andy King
PY  - 2023
DO  - 10.1007/978-3-031-35361-1_12
UR  - https://arxiv.org/abs/2307.12688
ID  - 2307.12688
ER  -