@misc{indiciaea297dd46d38c,
  title = {A Language-Agnostic Logical Relation for Message-Passing Protocols},
  author = {Tesla Zhang and Sonya Simkin and Rui Li and Yue Yao and Stephanie Balzer},
  year = {2025},
  url = {https://arxiv.org/abs/2506.10026},
  note = {Source identifier: 2506.10026}
}