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…