Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism / - Rao, Josyula Ramachandra, (Springer-Verlag,, 1995)