| EPSRC Reference: |
GR/M71169/01 |
| Title: |
THE SEMANTIC FOUNDATIONS OF MOBILE COMPUTATION |
| Principal Investigator: |
Hennessy, Professor M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Engineering and Informatics |
| Organisation: |
University of Sussex |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 March 2000 |
Ends: |
30 April 2002 |
Value (£): |
197,495
|
| 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 |
|
A foundation calculus for mobility will be developed by adding to the picalculus a minimal set of constructs to describe locality, mobility and failure. Behavioural equivalences, based on observational testing, will then be defined over this calculus and their algebraic properties investigated. The resulting theory will be evaluated by its ability to express and elucidate constructs and paradigms important to mobile computation.A system of types based on the idea that types confer constrained capabilities on objects, will be developed for the calculus. Mixtures of static and dynamic typing systems will be developed to ensure integrity of agents in open systems which may harbour malicious agents.Finally, property languages and proof methodologies will be developed for formally deriving properties of mobile systems; these will be based on a mixture of modal logic and behavioural types.
|
|
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.sussex.ac.uk |