Antonis Selentis-Boulntadakis

Automated Synthesis of Deterministic Cross-Domain Interfaces

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 carrier will hold for it. Composing such contracts into an end-to-end guarantee is standardized, but deriving each domain's contract is not...