activity
20152024
most citedA Fast Compiler for NetKAT

44 citations · 148 across the 6 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2019★ 32 cited

Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time

Steffen Smolka, Nate Foster, Justin Hsu +3

Guarded Kleene Algebra with Tests (GKAT) is a variation on Kleene Algebra with Tests (KAT) that arises by restricting the union () and iteration () operations from KAT to pre…