Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness.

Todd Schmid, Tobias Kapp, Dexter Kozen, Alexandra Silva

Browse the full ICALP paper archive.