  This paper deals with the probabilistic behaviours of distributed systems
described by a process calculus considering both probabilistic internal choices
and nondeterministic external choices. For this calculus we define and study a
typing system which extends the multiparty session types in order to deal also
with probabilistic behaviours. The calculus and its typing system are motivated
and illustrated by a running example.
