名词解释：CSP
Communicating Sequential Processes通信顺序进程，是一个专为描述并发系统中通过消息交换进行交互的通信实体行为而设计的一种抽象语言，它可用于网络安全协议的描述与分析。
名词解释：事件
协议系统通过其执行的一系列事件加以描述。一个典型的CSP事件记作c,i,j,m，包括信道c、消息源i、目的地j、消息m。
名词解释：进程
进程是系统的组成部分。CSP用进程可能涉及的事件来描述进程。
名词解释：STOP进程
不包含任何事件，等价于死锁
名词解释：c!v→P进程
在信道c上输出消息v，然后表现得像P
名词解释：c?x:T→P(x)进程
在信道c上输入类型为T的任意消息x，然后表现得像P(x)
名词解释：P□Q进程
表现得或像P、或像Q
名词解释：P[D]|Q进程
如果集合D中的事件发生，则P、Q同步执行；否则，P、Q分别执行
名词解释：P=a→b→P进程
递归。进行P交替执行事件a和事件b
名词解释：路径trace
进程P可能执行的事件的序列，记作(trace(P))。例如P=a→b→P进程的一个可能的路径是<a,b,a>