Mixed Sessions: the Other Side of the Tape

04/03/2020
by   Filipe Casal, et al.
0

The original paper on Mixed Sessions introduce the side A of the tape: there is an encoding of classical sessions into mixed sessions. Here we present side B: there is a translation of (a subset of) mixed sessions into classical session types. We prove that the translation is a minimal encoding, according to the criteria put forward by Kouzapas, Pérez, and Yoshida.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset