Semantic-Driven Performance Evaluation (Extended Abstract). - Chiara Nottegar; Corrado Priami; Pierpaolo Degano (FASE, 1999)

Performance Evaluation of Mobile Processes via Abstract Machines. - Chiara Nottegar; Corrado Priami; Pierpaolo Degano (IEEE Trans. Software Eng., 2001)