1 paper · 2 filters
Han Xu, Chenyu Zhou, Zachary Kincaid +1
Kleene algebra (KA) provides a foundational algebraic framework for reasoning about program structure and control flow. To capture equivalences arising from reordering or independe…