research
∙
11/04/2019
Generalising KAT to verify weighted computations
Kleene algebra with tests (KAT) was introduced as an algebraic structure...
research
∙
11/01/2019