A. K. McIver C. Gonzalia E. Cohen Carroll C. Morgan Using probabilistic Kleene algebra pKA for protocol verification. 90-111 2008 76 J. Log. Algebr. Program. 1 http://dx.doi.org/10.1016/j.jlap.2007.10.005 db/journals/jlp/jlp76.html#McIverGCM08