Logics and Models for Concurrently and Type Theory

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 12, 1992
Accession Number
ADA256528

Entities

People

  • José Meseguer

Organizations

  • SRI International

Tags

DTIC Thesaurus Topics

  • California
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Contracts
  • Electronic Mail
  • Language
  • Military Research
  • Models
  • Multithreading
  • Object Oriented Programming
  • Petri Nets
  • Programming Languages
  • Prototypes
  • Software Prototyping
  • Specifications

Readers

  • Mathematical Modeling and Probability Theory.
  • Parallel and Distributed Computing.