A. U Shankar;Simon S. Lam
-;-
An HDLC protocol specification and its verification using image protocols
ACM Transactions on Computer Systems (TOCS)
Specification and verification of an HDLC protocol with arm connection management and full-duplex data transfer
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols