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

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