39 citations · 146 across the 23 of their papers we have counts for
1 paper · 1 filter
Todd Schmid, Tobias Kappé, Dexter Kozen +1
Guarded Kleene Algebra with Tests (GKAT) is an efficient fragment of KAT, as it allows for almost linear decidability of equivalence. In this paper, we study the (co)algebraic prop…