Jane Hillston

• A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)
• Compositional Approach to Performance Modelling
• Formal Methods for Performance Evaluation
• Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
• Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems