TY  - RPRT
TI  - Automated Synthesis of Deterministic Cross-Domain Interfaces
AU  - Konstantinos Christodoulopoulos
AU  - Antonis Selentis-Boulntadakis
PY  - 2026
UR  - https://arxiv.org/abs/2608.09312
ID  - 2608.09312
ER  -