Title :
Formal techniques for the specification, verification and construction of communication protocols
Author_Institution :
GTE Laboratories
fDate :
10/1/1985 12:00:00 AM
Keywords :
Protocols; Software design and specifications; Communication channels; Formal specifications; Formal verification; Message passing; Protocols; Communication protocols;
Journal_Title :
Communications Magazine, IEEE
DOI :
10.1109/MCOM.1985.1092439
