  There is a lot of research on probabilistic transition systems. There are not
many studies in probabilistic process models. The lack of investigation into
the interactive aspect of probabilistic processes is mainly due to the
difficulty caused by the discrepancy between probabilistic actions and
nondeterministic behaviours. The paper proposes a uniform approach to
probabilistic process models and a bisimulation congruence for probabilistic
concurrency.
