@inproceedings{e72327724ffc42d58316f33fd6a7d172,
title = "The specification of process synchronization by path expressions",
abstract = "A new method of expressing synchronization is presented and the motivations and considerations which led to this method are explained. Synchronization rules, given by {\textquoteleft}path expressions{\textquoteright}, 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.",
author = "Campbell, {R. H.} and Habermann, {A. N.}",
note = "Publisher Copyright: {\textcopyright} 1974, Springer-Verlag.; International Symposium on Operating Systems, 1974 ; Conference date: 23-04-1974 Through 25-04-1974",
year = "1974",
doi = "10.1007/BFb0029355",
language = "English (US)",
isbn = "9783540068495",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "89--102",
editor = "E. Gelenbe and C. Kaiser",
booktitle = "Operating Systems - Proceedings of an International Symposium",
address = "Germany",
}