@misc{indiciaee3cb0e6678d7,
  title = {Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version)},
  author = {Yue Yao and Grant Iraci and Cheng-En Chuang and Stephanie Balzer and Lukasz Ziarek},
  year = {2024},
  url = {https://arxiv.org/abs/2411.07215},
  note = {Source identifier: 2411.07215}
}