research
∙
07/15/2020
Partially Observable Concurrent Kleene Algebra
We introduce partially observable concurrent Kleene algebra (POCKA), an ...
share
research
∙
02/22/2020
Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness
Concurrent Kleene Algebra (CKA) extends basic Kleene algebra with a para...
research
∙
10/31/2019
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra
Concurrent Kleene Algebra is an elegant tool for equational reasoning ab...
research
∙
10/31/2019
A note on commutative Kleene algebra
In this paper we present a detailed proof of an important result of alge...
research
∙
02/21/2019
A complete axiomatisation of reversible Kleene lattices
We consider algebras of languages over the signature of reversible Kleen...
research
∙
11/16/2018
