zhang-2025-mechanizing:
  type: misc
  title: Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols
  author:
  - Zhang, Tesla
  - Kornfeld, Asher
  - Li, Rui
  - Simkin, Sonya
  - Yao, Yue
  - Balzer, Stephanie
  date: 2025-11
  serial-number:
    arxiv: '2511.19521'