Kleene Algebra with Observations.

Tobias Kapp, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi

Browse the full CONCUR paper archive.