@misc{indiciae1ee459f5ee3a,
  title = {Enabling Preserving Bisimulation Equivalence},
  author = {Rob van Glabbeek and Peter Höfner and Weiyou Wang},
  year = {2021},
  url = {https://arxiv.org/abs/2108.00142},
  note = {Source identifier: 2108.00142}
}