Details of Grant 

EPSRC Reference:	GR/L10215/01
Title:	COMPUTER SYSTEM MODELLING VIA MARKOVIAN PROCESS ALGEBRA (COMPA)
Principal Investigator:	Hillston, Professor J
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	Sch of Informatics
Organisation:	University of Edinburgh
Scheme:	Standard Research (Pre-FEC)
Starts:	16 September 1997	Ends:	15 June 2001	Value (£):	165,744
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.ed.ac.uk