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
Keywords :
Automata; Computer languages; Computer networks; Context modeling; Design methodology; Documentation; Information science; Petri nets; Program processors; Protocols;
Conference_Titel :
Computer Software and Applications Conference, 1978. COMPSAC '78. The IEEE Computer Society's Second International
DOI :
10.1109/CMPSAC.1978.810556
