Steffen Smolka
Nate Foster
Justin Hsu
Tobias Kappé
Dexter Kozen
Alexandra Silva 0001
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time.
2019
abs/1907.05920
CoRR
http://arxiv.org/abs/1907.05920
db/journals/corr/corr1907.html#abs-1907-05920