Stav dette: Probabilistic process algebra /