TY  - RPRT
TI  - Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness
AU  - Todd Schmid
AU  - Tobias Kappé
AU  - Dexter Kozen
AU  - Alexandra Silva
PY  - 2021
DO  - 10.4230/lipics.icalp.2021.142
UR  - https://arxiv.org/abs/2102.08286
ID  - 2102.08286
ER  -