Extensions of the UNITY methodology: compositionality, fairness and probability in parallelism

From MaRDI portal