Habermann: “The Specification of Process Synchronization by Path Expressions (1974)

by R H Campbell, A N
Venue:Operating Systems (International Symposium; Rocquencourt, April 1974; Proceedings). Lecture Notes in Computer Science 16