SMS: Probabilistic process algebra /