The Representation of Communication and Concurrency

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1980
Accession Number
ADA504936

Entities

People

  • George J. Milne

Organizations

  • California Institute of Technology

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Calculus
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Connectors
  • Consistency
  • Environment
  • Identities
  • Language
  • Multithreading
  • Operating Systems
  • Semantics
  • Symmetry
  • Theoretical Computer Science
  • United Kingdom

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Parallel and Distributed Computing.
  • Theoretical Analysis.