
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness
Guarded Kleene Algebra with Tests (GKAT) is an efficient fragment of KAT...
read it

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

Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time
Guarded Kleene Algebra with Tests (GKAT) is a variation on Kleene Algebr...
read it

Completeness and Incompleteness of Synchronous Kleene Algebra
Synchronous Kleene algebra (SKA), an extension of Kleene algebra (KA), w...
read it

Kleene Algebra with Observations
Kleene algebra with tests (KAT) is an algebraic framework for reasoning ...
read it

Decision problems for Clarkcongruential languages
A common question when studying a class of contextfree grammars is whet...
read it
Tobias Kappé
is this you? claim profile