1 paper · 1 filter
Tobias Kappé, Alexandra Silva, Jana Wagemaker
This booklet serves as an introduction to Kleene Algebra (KA), a set of laws that can be used to study general equivalences between programs. It discusses how general programs can…