Interprocess Communication.

Abstract

Interprocess communication is studied without assuming any lower-level communication primitives. Three classes of communication registers are considered, and several constructions are given for implementing one class of register with a weaker class. A formalism is developed for reasoning about concurrent systems that does not assume an atomic grain of action.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 11, 1985
Accession Number
ADA156337

Entities

People

  • L. Lamport

Organizations

  • SRI International

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Energy Bands
  • Intervals
  • Language
  • Notation
  • Numbers
  • Programming Languages
  • Real Numbers
  • Reasoning
  • Sequences
  • Specifications
  • Standards
  • Time Intervals

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Graph Algorithms and Convex Optimization.
  • Nanocomposite Materials Science