TY  - RPRT
TI  - Weak Concurrent Kleene Algebra with Application to Algebraic Verification
AU  - Annabelle McIver
AU  - Tahiry Rabehaja
AU  - Georg Struth
PY  - 2013
UR  - https://arxiv.org/abs/1301.7153
ID  - 1301.7153
ER  -