TY  - JOUR

T1  - Probabilistic rely-guarantee calculus

JO  - Theoretical Computer Science

PY  - 2016/12/06

AU  - McIver A

AU  - Rabehaja T

AU  - Struth G

ED  - 

DO  - DOI: 10.1016/j.tcs.2016.01.016

VL  - 655

SP  - 120

EP  - 134

Y2  - 2024/12/22

ER  -