The specification of process synchronization by path expressions. (1974)

by R H Campbell, A N Habermann
Venue:Lecture Notes in Computer Science,