@misc{indiciae487fa8f19699,
  title = {Concurrent Kleene Algebra: Free Model and Completeness},
  author = {Tobias Kappé and Paul Brunet and Alexandra Silva and Fabio Zanasi},
  year = {2018},
  doi = {10.1007/978-3-319-89884-1\_30},
  url = {https://arxiv.org/abs/1710.02787},
  note = {Source identifier: 1710.02787}
}