TY  - RPRT
TI  - Constructing Weakly Terminating Interface Protocols
AU  - Debjyoti Bera
AU  - Tim A. C. Willemse
PY  - 2026
UR  - https://arxiv.org/abs/2603.15675
ID  - 2603.15675
ER  -