Document Preview Unavailable

Concurrent Kleene Algebra: Free Model and Completeness

Kappé, Tobias; Brunet, Paul; Silva, Alexandra; Zanasi, Fabio.  arXiv.org, Feb 26, 2018.

You might have access to this document