Completeness Theorems for Kleene Algebra with Top.

Damien Pous, Jana Wagemaker

Browse the full CONCUR paper archive.