@misc{indiciae628e0e85ce02,
  title = {Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols},
  author = {Tesla Zhang and Asher Kornfeld and Rui Li and Sonya Simkin and Yue Yao and Stephanie Balzer},
  year = {2025},
  url = {https://arxiv.org/abs/2511.19521},
  note = {Source identifier: 2511.19521}
}