Describir: Probabilistic process algebra /