Modeling a transport layer protocol using first-order logic.

H. Paul Lin

Browse the full SIGCOMM paper archive.