@misc{indiciae751713ba3725,
  title = {A Lean-Congruence Format for EP-Bisimilarity},
  author = {Rob van Glabbeek and Peter Höfner and Weiyou Wang},
  year = {2023},
  doi = {10.4204/eptcs.387.6},
  url = {https://arxiv.org/abs/2309.07933},
  note = {Source identifier: 2309.07933}
}