32 citations · 105 across the 10 of their papers we have counts for
1 paper · 1 filter
Michael Greenberg, Ryan Beckett, Eric Campbell
Kleene algebras with tests (KATs) offer sound, complete, and decidable equational reasoning about regularly structured programs. Interest in KATs has increased greatly since NetKAT…