Specification and verification of an HDLC protocol with arm connection management and full-duplex data transfer.

A. Udaya Shankar, Simon S. Lam

Browse the full SIGCOMM paper archive.