zhang-2025-a:
  type: misc
  title: A Language-Agnostic Logical Relation for Message-Passing Protocols
  author:
  - Zhang, Tesla
  - Simkin, Sonya
  - Li, Rui
  - Yao, Yue
  - Balzer, Stephanie
  date: 2025-06
  serial-number:
    arxiv: '2506.10026'