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