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
POPL, 2020.
@article{POPL-2020-SmolkaFHKKS,
author = "Steffen Smolka and Nate Foster and Justin Hsu and Tobias Kappé and Dexter Kozen and Alexandra Silva 0001",
doi = "10.1145/3371129",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "28",
publisher = "{ACM}",
title = "{Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time}",
volume = 4,
year = 2020,
}