The specification of process synchronization by path expressions (1974)

by R H CAMPBELL, A N HABERMANN
Venue:In Lecture Notes in Computer Science