The representation of communication and concurrency

Milne, George J. (1980) The representation of communication and concurrency. Computer Science Technical Reports, 1980.4088. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.4088-tr-80

Preview

PDF - Submitted Version
See Usage Policy.
6MB

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechCSTR:1980.4088-tr-80

Abstract

A formal system is described within which we may represent the communication and concurrency features found in systems of interacting computer 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.

Item Type:

Report or Paper (Technical Report)

Additional Information:

This research has been supported by the Science Research Council of the United Kingdom, the National Science Foundation under grant MCS-8011925 and the Air Force Office of Scientific Research under grant AFOSR-80-0274

Group:

Computer Science Technical Reports

Funders:

Funding Agency	Grant Number
Science Research Council of the United Kingdom	UNSPECIFIED
NSF	MCS-8011925
Air Force Office of Scientific Research (AFOSR)	AFOSR-80-0274

Series Name:

Computer Science Technical Reports

Issue or Number:

1980.4088

Record Number:

CaltechCSTR:1980.4088-tr-80

Persistent URL:

https://resolver.caltech.edu/CaltechCSTR:1980.4088-tr-80

Usage Policy:

You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.

ID Code:

27089

Collection:

CaltechCSTR

Deposited By:

Imported from CaltechCSTR

Deposited On:

29 May 2008

Last Modified:

03 Oct 2019 03:20

Repository Staff Only: item control page