The specification of process synchronization by path expressions

R. H. Campbell, A. N. Habermann

Research output: Chapter in Book/Report/Conference proceedingConference contribution


A new method of expressing synchronization is presented and the motivations and considerations which led to this method are explained. Synchronization rules, given by ‘path expressions’, are incorporated into the type definitions which are used to introduce data objects shared by several asynchronous processes. It is shown that the method's ability to express synchronization rules is equivalent to that of P and V operations, and a means of automatically translating path expressions to existing primitive synchronization operations is given.

Original languageEnglish (US)
Title of host publicationOperating Systems - Proceedings of an International Symposium
EditorsE. Gelenbe, C. Kaiser
Number of pages14
ISBN (Print)9783540068495
StatePublished - 1974
Externally publishedYes
EventInternational Symposium on Operating Systems, 1974 - Rocquencourt, France
Duration: Apr 23 1974Apr 25 1974

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume16 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


OtherInternational Symposium on Operating Systems, 1974

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'The specification of process synchronization by path expressions'. Together they form a unique fingerprint.

Cite this