EPSRC logo

Details of Grant 

EPSRC Reference: GR/N24872/01
Title: WIDE-AREA PROGRAMMING: LANGUAGE, SEMANTICS AND INFRASTRUCTURE DESIGN
Principal Investigator: Sewell, Professor PM
Other Investigators:
Milner, Professor R
Researcher Co-Investigators:
Project Partners:
Department: Computer Science and Technology
Organisation: University of Cambridge
Scheme: Standard Research (Pre-FEC)
Starts: 01 October 2000 Ends: 30 September 2003 Value (£): 190,814
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Communications Electronics
Information Technologies No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
This Proposal draws together two major lines of research: the study of distributed system design and the semantic theory of concurrent processes and programming languages. Wide area distributed systems are becoming ubiquitous and critical. Systems designers require a clear understanding of their behaviour in the presence of partial failure, malicious attack, and, increasingly, mobility of hardware and software components. We propose to aid such understanding by designing levels of abstraction for distributed programming with clear, rigorous semantics. Low levels, eg TCP and UDP communication, have relatively simple behaviour under failure and attack. They will be expressed as programming language primitives with rigorous semantics, validated against an implementation. Examples of higher level failure-aware and secure distributed infrastructure will be expressed as modules above this language, enabling reasoning about their more complex behaviour using the low-level semantics. We will study type-theoretic foundations for module versioning in wide-area systems. We will go on to enrich support for mobility and for interworking - integrating state-capture of running computation and secure encapsulation, and access to CORBAs IIOP. This will allow study of more serious secure infrasturcture and applications, and provide a solid conceptual basis for the design of industrial languages and systems for wide area computation.
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.cam.ac.uk