| EPSRC Reference: |
GR/T22049/01 |
| Title: |
Domain Theory for Concurrency---New Categorical Foundations |
| Principal Investigator: |
Winskel, Professor G |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science and Technology |
| Organisation: |
University of Cambridge |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 July 2005 |
Ends: |
31 December 2008 |
Value (£): |
278,179
|
| 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 |
|
It is proposed to develop a domain theory which provides a global mathematical setting for concurrent and mobile computation, a domain theory on new foundations which is extensible and scales up to the more intricate models needed in distributed systems, and feeds forward design and analytical techniques. Specifically, this proposal will work towards a domain theory which simultaneously handles independance models such as event structures, name generation as in the pi-Calculus, higher-order processes, nondeterministic dataflow, and possesses an operataional interpretation. It's techniques rest on recent successes in extracting process languages (HOPLA, affine-HOPLA and new-HOPLA), type disciplines and operational semantics from categories of presheaf models of processes (where domains are presheaf categories) and newly-found representations in terms of event structures.
|
|
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 |