10 citations · 16 across the 7 of their papers we have counts for
1 paper · 1 filter
Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi
Kleene algebra with tests (KAT) is a foundational equational framework for reasoning about programs, which has found applications in program transformations, networking and compile…