A Readable TCP in the Prolac Protocol Language.

Eddie Kohler M. Frans Kaashoek David R. Montgomery

Published in: SIGCOMM (1999)

Keyphrases

tcp ip
transmission control protocol
end to end
transport layer
programming language
language learning
specification language
lightweight
security protocols
operational semantics
transport protocol
ip networks
internet protocol
link layer