102 citations · 226 across the 18 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
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…
cs.PL2020★ 1 cited
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Stephanie Balzer, Luca Padovani
Modern hardware platforms, from the very small to the very large, increasingly provide parallel and distributed computing resources for applications to maximise performance. Many a…