The Specification of Process Synchronization by Path Expressions (1974)

by R H Campbell, A N Habermann
Venue:AN OBJECT-ORIENTED MODEL FOR EXTENSIBLE CONCURRENT SYSTEMS: THE COMPOSITION-FILTERS APPROACH