@misc{zhang-2025-a,
  author = {Tesla Zhang and Sonya Simkin and Rui Li and Yue Yao and Stephanie Balzer},
  title = {A Language-Agnostic Logical Relation for Message-Passing Protocols},
  year = {2025},
  month = {6},
  eprint = {2506.10026},
  archiveprefix = {arXiv}
}