Logics and Models for Concurrently and Type Theory
Progress rept. 1 Oct 1991-30 Apr 1992
SRI INTERNATIONAL MENLO PARK CA
Pagination or Media Count:
This reporting period is the last period of the project. During this last period substantial progress had been made in the following areas 1 Linear logic and concurrency 2 Rewriting logic and concurrency and 3 Concurrency models.
- Computer Programming and Software