Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)

Kirstin Peters, Nobuko Yoshida

Multiparty session types (MP) are a type discipline for enforcing the structured, deadlock-free communication of concurrent and message-passing programs. Traditional MP have a limi…