41 citations · 68 across the 15 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 1 cited
Towards Refinable Choreographies
Ugo de'Liguoro, Hernán Melgratti, Emilio Tuosto
We investigate refinement in the context of choreographies. We introduce refinable global choreographies allowing for the underspecification of protocols, whose interactions can be…
cs.LO2020
Probabilistic Analysis of Binary Sessions
Omar Inverso, Hernán Melgratti, Luca Padovani +2
We study a probabilistic variant of binary session types that relate to a class of Finite-State Markov Chains. The probability annotations in session types enable the reasoning on…