通信协议 communicating protocol 通信顺序处理communicating sequential process 通信文字处理机 communicating word processor，CWP ..
双语例句
1
This paper presents a formal approach to specify security model based on the theory of finite state machine(FSM) and the concept of communicatingsequentialprocess (CSP).
To define the semantics of CommunicatingSequential Processes, the notions of trace, assertion trace set, kernel of assertion trace set and process trace aet are introduced in this paper.