| EPSRC Reference: |
GR/K83243/01 |
| Title: |
DECISION PROCEDURES FOR BEHAVIOURAL EQUIVALENCES ON CONCURRENT PROCESSES |
| Principal Investigator: |
Jerrum, Professor M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Informatics |
| Organisation: |
University of Edinburgh |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
17 November 1995 |
Ends: |
16 March 1996 |
Value (£): |
2,250
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The application is intended to enable the nominated fellow, Yoram Hirshfield, to visit Edinburgh to continue collaborative research on decidability of behavioural equivalencies on concurrent processes. This work can be viewed as a natural extension of classical formal language theory, and has even fed directly into that theory on at least one occasion. We feel that the proposed line of research is justified on purely mathematical grounds; however, fairly direct applications to the design of software for analysing concurrent systems are not difficult to envisage.
|
|
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 |