Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.

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

Browse the full FOSSACS paper archive.