Mixed Sessions: the Other Side of the Tape

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.

In Stephanie Balzer and Luca Padovani: Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2020), Dublin, Ireland, 26th April 2020, Electronic Proceedings in Theoretical Computer Science 314, pp. 46–60.
Published: 3rd April 2020.

ArXived at: http://dx.doi.org/10.4204/EPTCS.314.5 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org