TY  - RPRT
TI  - Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols
AU  - Tesla Zhang
AU  - Asher Kornfeld
AU  - Rui Li
AU  - Sonya Simkin
AU  - Yue Yao
AU  - Stephanie Balzer
PY  - 2025
UR  - https://arxiv.org/abs/2511.19521
ID  - 2511.19521
ER  -