We introduce partially observable concurrent Kleene algebra (POCKA), an
...
Concurrent Kleene Algebra (CKA) extends basic Kleene algebra with a para...
Concurrent Kleene Algebra is an elegant tool for equational reasoning ab...
In this paper we present a detailed proof of an important result of alge...
We consider algebras of languages over the signature of reversible Kleen...
Kleene algebra with tests (KAT) is an algebraic framework for reasoning ...