@misc{indiciaead3f55e5f454,
  title = {Completeness and Incompleteness of Synchronous Kleene Algebra},
  author = {Jana Wagemaker and Marcello Bonsangue and Tobias Kappé and Jurriaan Rot and Alexandra Silva},
  year = {2019},
  doi = {10.1007/978-3-030-33636-3\_14},
  url = {https://arxiv.org/abs/1905.08554},
  note = {Source identifier: 1905.08554}
}