DocumentCode
3385567
Title
A formal approach to the desin and implementation of network communication protocol
Author
Teng, Albert Y. ; Liu, Ming T.
Author_Institution
The Ohio State University
fYear
1978
fDate
1978
Firstpage
722
Lastpage
727
Keywords
Automata; Computer languages; Computer networks; Context modeling; Design methodology; Documentation; Information science; Petri nets; Program processors; Protocols;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1978. COMPSAC '78. The IEEE Computer Society's Second International
Type
conf
DOI
10.1109/CMPSAC.1978.810556
Filename
810556
Link To Document