Acceptance trees for probabilistic processes | Publicación