Mixed Sessions: the Other Side of the Tape

2020/04/03 by Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos
Computer Science · #cs.PL #cs.LO

paper · pdf · doi:10.4204/eptcs.314.5

published as EPTCS 314, 2020, pp. 46-60 · In Proceedings PLACES 2020, arXiv:2004.01062

arxiv created 2020/04/03 · arxiv updated 2020/04/06

Abstract

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.

Citations

• Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software