Session Types for the Transport Layer: Towards an Implementation of TCP.

Samuel Cavoj Ivan Nikitin Colin Perkins Ornela Dardha

Published in: PLACES@ETAPS (2024)

Keyphrases

transport layer
end to end
network layer
application layer
network monitoring
real time
cross layer
physical layer
image quality
rate control
neural network
computational complexity
network congestion