Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
GKAT with Hoare Hypotheses
Jurriaan Rot, Todd Schmid, Jana Wagemaker
Guarded Kleene Algebra with Tests (GKAT) is a variant of Kleene algebra which allows for reasoning about simple imperative programs, and which features a decision procedure for pro…
cs.LO2026
Continuous Algebras with Hypotheses
Lukas Mulder, Damien Pous, Jana Wagemaker
In the literature on Kleene algebra (KA), a number of variants have been proposed such as Kleene algebra with tests, commutative KA, bi-KA, and concurrent KA. The equational theori…