@misc{indiciae85d2cdb94029,
  title = {Kleene algebras, adjunction and structural control},
  author = {Giuseppe Greco and Fei Liang and Alessandra Palmigiano},
  year = {2018},
  url = {https://arxiv.org/abs/1805.07583},
  note = {Source identifier: 1805.07583}
}