Accession Number:

ADA504936

Title:

The Representation of Communication and Concurrency

Descriptive Note:

Corporate Author:

CALIFORNIA INST OF TECH PASADENA COMPUTER SCIENCE DEPT

Personal Author(s):

Report Date:

1980-09-01

Pagination or Media Count:

108.0

Abstract:

A formal system is described within which we may represent the communication and concurrency features found in systems of interacting computing agents. This formal system may be used both as a model in which to represent the behaviour of existing systems of computing agents or as a language in which to program desired systems. The notion of acceptance semantics is introduced and it is in terms of this that we give meaning to programs constructed in our framework.

Subject Categories:

  • Non-Radio Communications

Distribution Statement:

APPROVED FOR PUBLIC RELEASE