Details of Grant 

EPSRC Reference:	GR/L85978/01
Title:	EFFICIENT SYSTEMS OF DYNAMIC INTERACTION
Principal Investigator:	Hodkinson, Professor I
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	Computing
Organisation:	Imperial College London
Scheme:	Standard Research (Pre-FEC)
Starts:	22 May 1998	Ends:	21 May 2000	Value (£):	111,731
EPSRC Research Topic Classifications:	Fundamentals of Computing
EPSRC Industrial Sector Classifications:	No relevance to Underpinning Sectors
Related Grants:
Panel History:
Summary on Grant Application Form
Modern computer systems involve dynamic interaction between various components. Naive logical modelling of dynamic interactions often leads to systems which are computationally more complex than the original problem. Our aim is to discover which aspects of such modelling cause intractability, and use this knowledge to design formal systems which faithfully reflect the complexity of the original problem, but are still expressive enough to capture its essential features. We will undertake this research from both a logical and an algebraic perspective, and develop the general mathematical methods for this. The general framework of combining logics was especially created to design systems which can capture different dimensions and their interactions. We will find out when interaction blocks transfer of tractability to the combinations, and use this knowledge to design tractable interactive systems. From the algebraic side, focusing on dynamic aspects of algebras of relations will allow us to develop algebras finely tuned for application - sufficiently expressive but not excessively complex. The formalisms we develop will be evaluated with respect to both their theoretical complexity and their suitability for practical applications in the verification and specification of programs and distributed and multi-agent systems.
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