@misc{indiciaefac04d423f82,
  title = {Adventures in Monitorability: From Branching to Linear Time and Back Again},
  author = {Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ingólfsdóttir and Karoliina Lehtinen},
  year = {2019},
  doi = {10.1145/3290365},
  url = {https://arxiv.org/abs/1902.00435},
  note = {Source identifier: 1902.00435}
}