Discovery Projects - Grant ID: DP0451529

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP0451529

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

Refinement of Temporal and Epistemic Specifications in Asynchronous Systems. Designing distributed systems is a complex activity requiring rigorous mathematical models of designs and specifications. It is desirable for the mathematical notations to be as close as possible to intuitive notions used by designers. One such notion is the idea that components in a distributed system have states of knowledge. Previous work has developed a calculus enabling derivation of systems with global clock by series of correctness-preserving transformations from a knowledge-based specification. This project will generalize this work to a calculus for systems that lack a global clock, and implement a tool providing automated support for use of the calculus.

Funded Activity Details

Start Date: 01-01-2004

End Date: 31-12-2008

Funding Scheme: Discovery Projects

Funding Amount: $150,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Logics And Meanings Of Programs | Programming Techniques | Computer Software Not Elsewhere Classified | Computer Software |

ANZSRC Socio-Economic Objective (SEO)

Technological and organisational innovation | Computer software and services not elsewhere classified | Mathematical sciences

Other Keywords

Computer Software | Computer Software Not Elsewhere Classified | Computer software and services not elsewhere classified | Logics And Meanings Of Programs | Mathematical sciences | Programming Techniques | Technological and organisational innovation

Related Links