Huai-An Lin
-
Self-Synchronizing Communication Protocols
IEEE Transactions on Computers
Verification of a methodology for designing reliable communication protocols
SIGCOMM '83 Proceedings of the eighth symposium on Data communications