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