Design and implementation of a new compositional facility for concurrent processes - Chen, Yanping (1995)