Mixed Sessions: the Other Side of the Tape

04/03/2020
by   Filipe Casal, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/06/2022

On the Expressiveness of Mixed Choice Sessions

Session types provide a flexible programming style for structuring inter...
research
08/15/2022

On the Expressiveness of Mixed Choice Sessions (Technical Report)

Session types provide a flexible programming style for structuring inter...
research
10/01/2022

Optimized Decoders for Mixed-Order Ambisonics

In this paper we discuss the motivation, design, and analysis of ambison...
research
07/24/2023

Safe asynchronous mixed-choice for timed interactions

Mixed-choice has long been barred from models of asynchronous communicat...
research
09/06/2022

Mortaring for linear elasticity using low order finite elements

We introduce a stabilized mortar method for linear elasticity and compar...
research
07/29/2023

An Entropy Coding Based on Binary Encoding for Mixed-Radix Digits

The necessity of radix conversion of numeric data is an indispensable co...
research
06/19/2023

Index-mixed copulas

Motivated by the construction of the often analytically tractable Farlie...

Please sign up or login with your details

Forgot password? Click here to reset