@article{article, title = {{Probabilistic rely-guarantee calculus}}, url = {{}}, year = {{2016}}, month = {{12}}, author = {{McIver A and Rabehaja T and Struth G}}, doi = {{10.1016/j.tcs.2016.01.016}}, volume = {{655}}, journal = {{Theoretical Computer Science}}, pages = {{120-134}}, note = {{Accessed on 2025/07/19}}}