A Readable TCP in the Prolac Protocol Language.

Eddie Kohler, M. Frans Kaashoek, David R. Montgomery

Browse the full SIGCOMM paper archive.