Pedro R. D'Argenio

• CONCUR 2013 -- Concurrency Theory
• Quantitative Evaluation of Systems