17 citations · 38 across the 6 of their papers we have counts for
1 paper · 2 filters
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…