TY  - RPRT
TI  - A Language-Agnostic Logical Relation for Message-Passing Protocols
AU  - Tesla Zhang
AU  - Sonya Simkin
AU  - Rui Li
AU  - Yue Yao
AU  - Stephanie Balzer
PY  - 2025
UR  - https://arxiv.org/abs/2506.10026
ID  - 2506.10026
ER  -