TY  - RPRT
TI  - An Event Structure Model for Probabilistic Concurrent Kleene Algebra
AU  - Annabelle McIver
AU  - Tahiry Rabehaja
AU  - Georg Struth
PY  - 2013
UR  - https://arxiv.org/abs/1310.2320
ID  - 1310.2320
ER  -