Periodic Reporting for period 1 - PACT (Proof-theoretical Approaches to Concurrency Theory)

The project was based on the observation that the development of logical foundations had been a very successful methodology in the framework of sequential programming, and proposed to investigate a similar development in the framework of concurrent programming. This is...