Extensions of the UNITY methodology: compositionality, fairness and probability in parallelism
scientific article; zbMATH DE number 752491