TY  - JOUR

T1  - Probabilistic Concurrent Kleene Algebra

JO  - Electronic Proceedings in Theoretical Computer Science

PY  - 2013/06/12

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  - 2024/12/25

ER  -