TY  - JOUR

T1  - Concurrent Kleene Algebra and its Foundations

JO  - Journal of Logic and Algebraic Programming

PY  - 2011/01/01

AU  - Hoare T

AU  - Möller B

AU  - Struth G

AU  - Wehrman I

ED  - 

Y2  - 2024/12/25

ER  -