@misc{indiciae88ba6518cd8d,
  title = {Kleene Algebra with Observations},
  author = {Tobias Kappé and Paul Brunet and Jurriaan Rot and Alexandra Silva and Jana Wagemaker and Fabio Zanasi},
  year = {2019},
  doi = {10.4230/lipics.concur.2019.41},
  url = {https://arxiv.org/abs/1811.10401},
  note = {Source identifier: 1811.10401}
}