TY  - RPRT
TI  - NEST: Network Enforced Session Types (Technical Report)
AU  - Jens Kanstrup Larsen
AU  - Alceste Scalas
AU  - Guy Amir
AU  - Jules Jacobs
AU  - Jana Wagemaker
AU  - Nate Foster
PY  - 2026
DO  - 10.4230/lipics.ecoop.2026.31
UR  - https://arxiv.org/abs/2604.21795
ID  - 2604.21795
ER  -