Probabilistic process algebra - Andova, Suzana (IPA dissertation series, 2002)