Details of Grant 

EPSRC Reference:	GR/L93058/01
Title:	LINEAR TYPE SYSTEMS FOR DISTRIBUTED CONCURRENT SYSTEMS
Principal Investigator:	Jeffrey, Dr A
Other Investigators:	Hennessy, Professor M
Researcher Co-Investigators:
Project Partners:
Department:	Sch of Engineering and Informatics
Organisation:	University of Sussex
Scheme:	Standard Research (Pre-FEC)
Starts:	01 October 1998	Ends:	30 November 2000	Value (£):	83,004
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
The project is concerned with the development of high-level programming languages for distributed systems in which the control resources plays a significant role. This control of resources such channels, objects, or location names, is effected by a typed system based on linear logic.The project will design a prototype language, an abstract version of the programming language CML (Concurrent ML), and a linear type system for constraining the use of resources.We will then develop a semantic theory for the language, based on bisimulation equivalence and address verification issues by designing a language for describing properties of system. This property language will be based on a linear version of a recursive modal logic.
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.sussex.ac.uk