TY  - CONF

T1  - Foundations of Concurrent Kleene Algebra

JO  - RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS

PY  - 2009/01/01

AU  - Hoare CAR

AU  - Moller B

AU  - Struth G

AU  - Wehrman I

ED  - Berghammer R

ED  - Jaoua AM

ED  - Moller B

VL  - 5827

SP  - 166

EP  - 186

Y2  - 2024/12/22

ER  -