@misc{indiciae8f40904a965e,
  title = {Barbed Similarity for the \$π\$-Calculus in Beluga: A Case Study in Coinductive Reasoning},
  author = {Lea Trogni and Gabriele Cecilia and Alberto Momigliano},
  year = {2026},
  doi = {10.4204/eptcs.448.1},
  url = {https://arxiv.org/abs/2607.12652},
  note = {Source identifier: 2607.12652}
}