Completeness and Incompleteness of Synchronous Kleene Algebra.

Jana Wagemaker, Marcello M. Bonsangue, Tobias Kapp, Jurriaan Rot, Alexandra Silva

Browse the full MPC paper archive.