@misc{zhang-2025-mechanizing,
  author = {Tesla Zhang and Asher Kornfeld and Rui Li and Sonya Simkin and Yue Yao and Stephanie Balzer},
  title = {Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols},
  year = {2025},
  month = {11},
  eprint = {2511.19521},
  archiveprefix = {arXiv}
}