TY  - RPRT
TI  - Probabilistic Concurrent Kleene Algebra
AU  - Annabelle McIver
AU  - Tahiry Rabehaja
AU  - Georg Struth
PY  - 2013
DO  - 10.4204/eptcs.117.7
UR  - https://arxiv.org/abs/1306.2697
ID  - 1306.2697
ER  -