Mixed Sessions: the Other Side of the Tape
Programming Languages
2020-04-06 v1 Logic in Computer Science
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\'erez, and Yoshida.
Cite
@article{arxiv.2004.01324,
title = {Mixed Sessions: the Other Side of the Tape},
author = {Filipe Casal and Andreia Mordido and Vasco T. Vasconcelos},
journal= {arXiv preprint arXiv:2004.01324},
year = {2020}
}
Comments
In Proceedings PLACES 2020, arXiv:2004.01062