SRI INTERNATIONAL MENLO PARK CA
Pagination or Media Count:
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.
- Non-Radio Communications