| EPSRC Reference: |
GR/L62290/01 |
| Title: |
CALCULI FOR INTERACTIVE SYSTEMS: THEORY AND EXPERIMENT |
| Principal Investigator: |
Milner, Professor R |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science and Technology |
| Organisation: |
University of Cambridge |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 July 1998 |
Ends: |
30 June 2001 |
Value (£): |
279,899
|
| 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 biggest current challenge for model-building in computer science is in communications. The Internet, though in use, raises serious behavioural issues regarding, for example, security and the interaction among agents which may travel across links. We shall develop a model whose primary notion is inter-action. We shall start from the pi-calculus, a calculus of mobile processes designed around 1990, and from action calculi, recently introduced to unify the various emerging disciplines of interaction behaviour. The project's two linked strands will together develop a theory of interactive systems based upon experiment. The specific strand will extend the pi-calculus and its sister programming language PICT to describe wide area distributed applications, in which migration and analysis working with a system-design research team. The general strand will develop action calculi theoretically, to integrate techniques for reasoning about interactive behaviour, and to compare and contrast different models of interaction. This general theory will unify specific models such as (extensions of) the pi-calculus, calculi for security, and object-oriented calculi.
|
|
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 |