TY  - JOUR

T1  - Developments in concurrent Kleene algebra

JO  - Journal of Logical and Algebraic Methods in Programming

PY  - 2016/06/01

AU  - Hoare T

AU  - van Staden S

AU  - Möller B

AU  - Struth G

AU  - Zhu H

ED  - 

DO  - DOI: 10.1016/j.jlamp.2015.09.012

VL  - 85

IS  - 4

SP  - 617

EP  - 636

Y2  - 2024/12/25

ER  -