| EPSRC Reference: |
GR/R37456/01 |
| Title: |
Box Algebra with Asynchronous Communications Links (BEACON) |
| Principal Investigator: |
Koutny, Professor M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing Sciences |
| Organisation: |
Newcastle University |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 June 2001 |
Ends: |
31 July 2003 |
Value (£): |
4,152
|
| EPSRC Research Topic Classifications: |
| Algebra & Geometry |
Fundamentals of Computing |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The overall aim of the proposed visits is to develop a conservative extension of the existing Box Algebra to support asynchronous communication primitives both at the low-level and high-level net level. The first objective is to develop an algebraic treatment of asynchronous link extension of the Box Algebra, including the syntax, operational semantics rules, and proofs of behavioural consistency. This will be achieved by adopting key deas which proved to be effective for the existing Box Algebra. We will re-consider the notion of equivalence used in the present framework, and for the chosen equivalence attempt to prove that the operational and compositional net semantics coincide. The second objective of the project - extending the results to a model based on highlevel Petd nets - is crucial from the point of view of applying the results of the planned work to the modelling and verification of concurrent programs employing timing constraints and preemption. Using a suitable model of high-level nets, we will introduce a simple typing scheme on the basis of the formalism developed in the first stage of the project. As a result, we will be able to handle (in a compositional way) the semantics of a non-trivial procedural concurrent programming language.
|
|
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.ncl.ac.uk |