Details of Grant 

EPSRC Reference:	GR/R76950/01
Title:	Mathematical Models for Concurrent and Mobile Computation
Principal Investigator:	Stark, Dr I
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	Sch of Informatics
Organisation:	University of Edinburgh
Scheme:	Advanced Fellowship (Pre-FEC)
Starts:	01 July 2002	Ends:	30 June 2007	Value (£):	246,763
EPSRC Research Topic Classifications:	Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:	Panel Date Panel Name Outcome 20 Nov 2001 Technology Fellowships Sift Panel Deferred
Summary on Grant Application Form
The overall aim of this research is to develop and refine mathematical models for concurrent computation, and in particular for features arising from locations, distribution and mobility of both data and computation. Such models provide a powerful way to explore the properties of these features, and cast light on the nature of distributed computation. The project comprises three interdependent strands: to refine existing models for process calculi; to investigate new mathematical constructions to model location, mobility and distribution; and to extract novel logical systems and reasoning methods from such models.
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