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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2003988
بازگشت