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  - 

DO  - DOI: 10.1016/j.jlap.2011.04.005

VL  - 80

IS  - 6

SP  - 266

EP  - 296

Y2  - 2024/12/25

ER  -