The specification of process synchronization by path expressions (1974)

by R. H. Campbell, A. N. Habermann
Venue:in Operating Systems, E. Gelenbe and