Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions

Jonah Pears, Laura Bocchi, Maurizio Murgia +1

Mixed-choice has long been barred from models of asynchronous communication since it compromises the decidability of key properties of communicating finite-state machines. Session…