Probabilistic concurrent kleene algebra (2013)

by A McIver, T Rabehaja, G Struth
Venue:Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems