Title :
Formal design of communication protocols
Author :
Hansson, Hans ; Jonsson, Bengt ; Orava, Fredrik ; Pehrson, Bjtirn
Author_Institution :
Swedish Institute of Computer Science
Keywords :
Computer science; Error correction; Guidelines; Humans; Natural languages; Open systems; Process design; Protocols; Sections;
Conference_Titel :
Switching Symposium, 1990. XIII International
DOI :
10.1109/ISS.1990.770113
