1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…