DocumentCode

339011

Title

Formal design of communication protocols

Author

Hansson, Hans ; Jonsson, Bengt ; Orava, Fredrik ; Pehrson, Bjtirn

Author_Institution

Swedish Institute of Computer Science

Volume

4

fYear

1990

fDate

1990

Firstpage

99

Lastpage

104

Keywords

Computer science; Error correction; Guidelines; Humans; Natural languages; Open systems; Process design; Protocols; Sections;

fLanguage

English

Publisher

ieee

Conference_Titel

Switching Symposium, 1990. XIII International

Type

conf

DOI

10.1109/ISS.1990.770113

Filename

770113