Interprocess Communication.

reportActive / Technical Report | Accession Number: ADA156337 | Open PDF

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.

Author(s):
Lamport, L.
Author Organization(s):
SRI INTERNATIONAL MENLO PARK CA
Descriptive Note:
Final rept.,
Pagination:
0047

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Contract/Grant Number(s):
N00014-84-C-0621
 Subject Terms
Joint Capability Areas:
JCA_6_Net Centric; JCA_6.1_Information Transport; JCA_5_Command and Control; JCA_5.3_Planning; JCA_8.1.3_Influence Adversary and Competitor Audiences; JCA_8.1_Communicate; JCA_8_Building Partnerships; JCA_1_Force Support; JCA_1.2_Force Preparation
Communities of Interest:
Materials and Manufacturing Processes
Descriptor(s):
*COMPUTER COMMUNICATIONS, COMMUNICATION AND RADIO SYSTEMS, REGISTERS(CIRCUITS)
Field(s)/Group(s):
Non-Radio Communications
Report Date:
1985 Jun 11