Automated Synthesis of Deterministic Cross-Domain Interfaces

Konstantinos Christodoulopoulos, Antonis Selentis-Boulntadakis

Deterministic networking spans heterogeneous domains. At each boundary, two domains must agree on an assume--guarantee contract: what traffic the client may inject, and the QoS the…