DocumentCode

1241091

Title

Formal techniques for the specification, verification and construction of communication protocols

Author

Choi, Tat Y.

Author_Institution

GTE Laboratories

Volume

23

Issue

10

fYear

1985

fDate

10/1/1985 12:00:00 AM

Firstpage

46

Lastpage

52

Keywords

Protocols; Software design and specifications; Communication channels; Formal specifications; Formal verification; Message passing; Protocols; Communication protocols;

fLanguage

English

Journal_Title

Communications Magazine, IEEE

Publisher

ieee

ISSN

0163-6804

Type

jour

DOI

10.1109/MCOM.1985.1092439

Filename

1092439