@misc{indiciae83f22c1afd7d,
  title = {Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness},
  author = {Tobias Kappé and Paul Brunet and Alexandra Silva and Jana Wagemaker and Fabio Zanasi},
  year = {2020},
  doi = {10.1007/978-3-030-45231-5\_20},
  url = {https://arxiv.org/abs/2002.09682},
  note = {Source identifier: 2002.09682}
}