DocumentCode
2003988
Title
CSP-based Specifications For Network Protocols and services
Author
Nien-chen Liu ; Liu, Ming T.
Author_Institution
The Ohio State University
fYear
1984
fDate
11-11 Dec. 1984
Firstpage
95
Lastpage
102
Keywords
Automata; Bridges; Carbon capture and storage; Communication networks; Computer networks; Formal specifications; Information science; Information systems; Open systems; Transport protocols;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Networking Symposium, 1984. Proceedings
Conference_Location
Gaithersburg, MD, USA
Print_ISBN
0-8186-0606-1
Type
conf
DOI
10.1109/CNG.1984.680779
Filename
680779
Link To Document