Accession Number:

ADA256528

Title:

Logics and Models for Concurrently and Type Theory

Descriptive Note:

Progress rept. 1 Oct 1991-30 Apr 1992

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA

Personal Author(s):

Report Date:

1992-10-12

Pagination or Media Count:

10.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE