@misc{indiciaeb7ffa8d603a4,
  title = {Partially Observable Concurrent Kleene Algebra},
  author = {Jana Wagemaker and Paul Brunet and Simon Docherty and Tobias Kappé and Jurriaan Rot and Alexandra Silva},
  year = {2020},
  doi = {10.4230/lipics.concur.2020.20},
  url = {https://arxiv.org/abs/2007.07593},
  note = {Source identifier: 2007.07593}
}