Kleene Algebra with Tests and Commutativity Conditions.

Dexter Kozen

Browse the full TACAS paper archive.