Process Algebra and Probabilistic Methods door Luca de Alfaro & S. Gilmore