2 papers
cs.LO2024
On Randomized Computational Models and Complexity Classes: a Historical Overview
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
Since their appearance in the 1950s, computational models capable of performing probabilistic choices have received wide attention and are nowadays pervasive in almost every areas…
cs.PL2024
Towards Quantum Multiparty Session Types
Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury
Multiparty Session Types (MPSTs) offer a structured way of specifying communication protocols and guarantee relevant communication properties, such as deadlock-freedom. In this pap…