TY  - RPRT
TI  - Completeness and Incompleteness of Synchronous Kleene Algebra
AU  - Jana Wagemaker
AU  - Marcello Bonsangue
AU  - Tobias Kappé
AU  - Jurriaan Rot
AU  - Alexandra Silva
PY  - 2019
DO  - 10.1007/978-3-030-33636-3_14
UR  - https://arxiv.org/abs/1905.08554
ID  - 1905.08554
ER  -