AppSem: Application of semantics to the design and construction of concurrent systems and programming support environments within the framework of computational logic

Project: Research

Project Details


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.
Effective start/end date1/04/9331/03/95


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.