Probabilistic rely-guarantee calculus.
Saved in:
| Title: | Probabilistic rely-guarantee calculus. |
|---|---|
| Authors: | McIver, Annabelle1, annabelle.mciver@mq.edu.au, Rabehaja, Tahiry1, tahiry.rabehaja@mq.edu.au, Struth, Georg2, g.struth@sheffield.ac.uk |
| Source: | Theoretical Computer Science; Dec2016 Part B, Vol. 655, p120-134, 15p |
| Database: | Applied Science & Technology Source |
| ISSN: | 03043975 |
|---|---|
| DOI: | 10.1016/j.tcs.2016.01.016 |
