Extensions of the UNITY methodology compositionality, fairness, and probability in parallelism - Rao, Josyula Ramachandra 1962- (Lecture notes in computer science, 1995)