Process Algebra and Probabilistic Methods. Performance Modelling and Verification by Luca de Alfaro | Menrva Books | MenrvaBooks