@misc{indiciae1ff716ec192f,
  title = {Coherent branching feature bisimulation},
  author = {Tessa Belder and Maurice H. ter Beek and Erik P. de Vink},
  year = {2015},
  doi = {10.4204/eptcs.182.2},
  url = {https://arxiv.org/abs/1504.03474},
  note = {Source identifier: 1504.03474}
}