2 papers
cs.DC2026
Mixed Choice in Asynchronous Multiparty Session Types
Laura Bocchi, Raymond Hu, Adriana Laura Voinea +1
We present a multiparty session type (MST) framework with asynchronous mixed choice (MC). We propose a core construct for MC that allows transient inconsistencies in protocol state…
cs.LO2025
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…