Extensions of the UNITY methodology compositionality, fairness, and probability in parallelism - Rao, Josyula Ramachandra 1962- (Berlin Springer, 1995)
Keywords: Parallel programming; Computer software -- Verification