As part of their secondments in the project, BehAPI work package leaders Hernán Melgratti (University of Buenos Aires), Luca Padovani (University of Torino), and Emilio Tuosto (University of Leicester) have collaborated to produce their publication Probabilistic Analysis of Binary Sessions, along with Omar Inverso and Catia Trubiani. They carried out a study on a probabilistic variant of binary session types that relate to a class of Finite-State Markov Chains. This publication was accepted at Concur2020.

The full paper can be found here.

Leave a Reply