Analysis of communication protocols via protocol projections

Authors:
A. Udaya Shankar
Affiliations:
-
Venue:
Analysis of communication protocols via protocol projections
Year:
1982

Citing 0
Cited 2

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

Quantified Score

Hi-index	0.00

Visualization

Abstract