
Partially Observable Concurrent Kleene Algebra
We introduce partially observable concurrent Kleene algebra (POCKA), an ...
read it

Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness
Concurrent Kleene Algebra (CKA) extends basic Kleene algebra with a para...
read it

Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra
Concurrent Kleene Algebra is an elegant tool for equational reasoning ab...
read it

A note on commutative Kleene algebra
In this paper we present a detailed proof of an important result of alge...
read it

A complete axiomatisation of reversible Kleene lattices
We consider algebras of languages over the signature of reversible Kleen...
read it

Kleene Algebra with Observations
Kleene algebra with tests (KAT) is an algebraic framework for reasoning ...
read it
Paul Brunet
is this you? claim profile