1. Rabin, M.O.: Probabilistic Algorithms. Technical Report RC 6164 (#26545), IBM Research Division, San Jose, Yorktown, Zurich (August 1976)
2. Hoare, T., Möller, B., Struth, G., Wehrman, I.: Concurrent Kleene algebra and its foundations. J. Log. Algebr. Program. 80(6), 266–296 (2011)
3. Hayes, I.J., Jones, C.B., Colvin, R.J.: Refining rely-guarantee thinking. Technical report, Newcastle University, United Kingdom (2012)
4. McIver, A.K., Rabehaja, T.M., Struth, G.: Probabilistic concurrent Kleene algebra. In: Bortolussi, L., Wiklicky, H. (eds.) QAPL. EPTCS, vol. 117, pp. 97–115 (2013)
5. Katoen, J.P.: Quantitative and qualitative extensions of event structures. PhD thesis, University of Twente (1996)