Verification of a methodology for designing reliable communication protocols.

Huai-An Lin, Ming T. Liu, Charles J. Graff

Browse the full SIGCOMM paper archive.