Project Details
Description
The aim of the project is to develop and apply a formal semantic framework for designing, implementing and reasoning about concurrent systems within the framework of computational logic.
Status | Finished |
---|---|
Effective start/end date | 1/04/93 → 31/03/95 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.