TY  - RPRT
TI  - Session Types for the Transport Layer: Towards an Implementation of TCP
AU  - Samuel Cavoj
AU  - Ivan Nikitin
AU  - Colin Perkins
AU  - Ornela Dardha
PY  - 2024
DO  - 10.4204/eptcs.401.3
UR  - https://arxiv.org/abs/2404.05478
ID  - 2404.05478
ER  -