Seol mar théacs é seo: Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism / Josyula Ramachandra Rao.