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) : Meseguer, Jose


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a256528.pdf


Report Date : 12 Oct 1992


Pagination or Media Count : 10


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.


Descriptors :   *COMPUTER LOGIC , MATHEMATICAL MODELS , SEMANTICS , COMPUTATIONS


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE