3 papers
cs.FL2019
A note on commutative Kleene algebra
Paul Brunet
In this paper we present a detailed proof of an important result of algebraic logic: namely that the free commutative Kleene algebra is the space of semilinear sets. The first proo…
cs.LO2019
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra
Paul Brunet, David Pym
Concurrent Kleene Algebra is an elegant tool for equational reasoning about concurrent programs. An important feature of concurrent programs that is missing from CKA is the ability…
cs.LO2019
A complete axiomatisation of reversible Kleene lattices
Paul Brunet
We consider algebras of languages over the signature of reversible Kleene lattices, that is the regular operations (empty and unit languages, union, concatenation and Kleene star)…