| EPSRC Reference: |
GR/T23367/01 |
| Title: |
A Grainless Semantics for Shared Variable Concurrency |
| Principal Investigator: |
Plotkin, Professor G |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Informatics |
| Organisation: |
University of Edinburgh |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
09 August 2004 |
Ends: |
08 August 2005 |
Value (£): |
64,612
|
| 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 purpose of this Visiting Fellowship is to enable Professor John Reynolds to visit Edinburgh University during the second half of 2004. During this period, he will cooperate with Professor G. Plotkin and Dr. J. Power in the development of a novel semantics of shared-variable concurrency in which there is no commitment to any atomic level of action. They will also apply this semantics to establishing the soundness of inference rules for concurrency and critical regions in separation 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.ed.ac.uk |