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
-
Try and log in through your institution to see if they have access to the full text.
Log in through your library