Probabilistic process algebra door