Concurrent Kleene Algebra: Free Model and Completeness.

Tobias Kapp, Paul Brunet, Alexandra Silva, Fabio Zanasi

Browse the full ESOP paper archive.