Probabilities in Session Types

Bogdan Aman, Gabriel Ciobanu

This paper deals with the probabilistic behaviours of distributed systems described by a process calculus considering both probabilistic internal choices and nondeterministic exter…