A sound and complete proof system for probabilistic processes | Publicación