| EPSRC Reference: |
GR/S22097/01 |
| Title: |
Models of 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: |
01 September 2003 |
Ends: |
31 May 2004 |
Value (£): |
51,361
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Networks & Distributed Systems |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
In a quest to find new and possibly better ways of modelling distributed systems we will explore a host of denotational and operational techniques, and borrow methods from geometry and algebra. Our aim is to explore the expressive powers of such methods, and compare them to more traditional ones. Besides the development of new approaches, a great deal of effort will be invested in consolidating and unifying traditional methods. Translations between a variety of models of concurrency will be developed, preserving the key features that those models seek to describe, In this project we concentrate on the models of Petri nets, event structures and higher dimensional automata found in the literature, and several generalisations and variations we hope to propose. These abstract models are the bedrock on which one can develop mathematical models of real languages and systems,
|
|
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 |