A process algebra for probabilistic and nondeterministic processes | Publicación