Luca Alfaro

• Process Algebra and Probabilistic Methods. Performance Modelling and Verification