Protocol Verification Via Projections

An HDLC protocol specification and its verification using image protocols

ACM Transactions on Computer Systems (TOCS)
An exercise in constructing multi-phase communication protocols

SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
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

Hi-index	0.00