EPSRC logo

Details of Grant 

EPSRC Reference: GR/L10222/01
Title: COMPUTER SYSTEM MODELLING VIA MARKOVIAN PROCESS ALGEBRA (COMPA)
Principal Investigator: Harrison, Professor PG
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Dept of Computing
Organisation: Imperial College London
Scheme: Standard Research (Pre-FEC)
Starts: 01 October 1997 Ends: 30 June 2000 Value (£): 179,162
EPSRC Research Topic Classifications:
Networks & Distributed Systems
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:  
Summary on Grant Application Form
The proposed research will, by exploring the relationship between process algebras and Markov chains, develop efficient techniques which may be applied in a systematic way to the performance analysis of large, complex systems. On the practical side, we will utilise the resulting methodology to address the modelling and analytical challenges presented by the next generation of computer and communication systems. Markovian process algebras (MPA) are extensions of classical process in which time and probabilistic elements are introduced. The major advantage of MPAs is their inherent compositional structure which facilitates hierarchical construction and analysis of models. The proposed research will exploit the benefits of the MPA approach by using particular structures identified within models to enhance model solution.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.imperial.ac.uk