Probabilistic rely-guarantee calculus. - McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg (Theoretical Computer Science, 2016)