| EPSRC Reference: |
GR/K38403/01 |
| Title: |
ACTION STRUCTURES AND THE PI-CALCULUS |
| 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 January 1995 |
Ends: |
30 June 1998 |
Value (£): |
342,272
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
To develop the theory of action structures, a new model for concurrency and interaction; To investigate action structures, especially the pi-calculus, as a semantic basis for languages, including object-oriented languages. To design, implement, use experimentally and analyse languages based upon the constructs of action structures, especially the pi-calculus.Progress:The first RA, Benjamin Pierce, was appointed from 1 January 1995; the second, Peter Sewell, will shortly be appointed. Though none were in post on 31 December 1994, the project work was already under way. In particular, Benjamin Pierce is carrying out a pilot study on designing and implementing a language based upon the pi-calculus.
|
|
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 |