@misc{indiciaea0a572dcfd54,
  title = {Dormancy-aware timed branching bisimilarity, with an application to communication protocol analysis},
  author = {C. A. Middelburg},
  year = {2023},
  doi = {10.1016/j.tcs.2024.114681},
  url = {https://arxiv.org/abs/2107.08921},
  note = {Source identifier: 2107.08921}
}