@misc{indiciae02b77dc9e882,
  title = {NEST: Network Enforced Session Types (Technical Report)},
  author = {Jens Kanstrup Larsen and Alceste Scalas and Guy Amir and Jules Jacobs and Jana Wagemaker and Nate Foster},
  year = {2026},
  doi = {10.4230/lipics.ecoop.2026.31},
  url = {https://arxiv.org/abs/2604.21795},
  note = {Source identifier: 2604.21795}
}