research
∙
10/24/2022
On Tools for Completeness of Kleene Algebra with Hypotheses
In the literature on Kleene algebra, a number of variants have been prop...
share
research
∙
01/25/2022
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks
We introduce Concurrent NetKAT (CNetKAT), an extension of NetKAT with op...
research
∙
07/15/2020
Partially Observable Concurrent Kleene Algebra
We introduce partially observable concurrent Kleene algebra (POCKA), an ...
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
∙
05/21/2019
Completeness and Incompleteness of Synchronous Kleene Algebra
Synchronous Kleene algebra (SKA), an extension of Kleene algebra (KA), w...
research
∙
11/16/2018