Paper Info
Title
Mixed Sessions: the Other Side of the Tape.
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.
Year
DOI
Venue
2020
10.4204/EPTCS.314.5
European Joint Conferences on Theory And Practice of Software
DocType
ISSN
Citations 
Conference
EPTCS 314, 2020, pp. 46-60
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Casal Filipe100.34
Andreia Mordido202.37
Vasco T. Vasconcelos344430.12