Protocol Specification Based on CSP

• 基于通信顺序进程的计算机网络通信协议形式化描述