TY  - JOUR

T1  - Probabilistic Concurrent Kleene Algebra

JO  - Electronic Proceedings in Theoretical Computer Science

UR  - https://doi.org/10.4204/eptcs.117.7

PY  - 2013/06/11

AU  - McIver A

AU  - Rabehaja T

AU  - Struth G

ED  - 

DO  - DOI: 10.4204/eptcs.117.7

PB  - Open Publishing Association

VL  - 117

SP  - 97

EP  - 115

Y2  - 2025/12/03

ER  -