Filipe Casal (LASIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal) |
Andreia Mordido (LASIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal) |
Vasco T. Vasconcelos (LASIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.314.5 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |