Separation and Encodability in Mixed Choice Multiparty Sessions.

Kirstin Peters, Nobuko Yoshida

Browse the full LICS paper archive.