Combined in this hybrid model are the techniques of the finite state machine (FSM), communication sequential process (CSP) and abstract data type (ADT). So this model has the best features of these three approaches at the same time.

• 本模型由有限状态机FSM,通信顺序进程CSP和抽象数据类型ADT结合而成,并兼有这3种技术的最佳特性,从而使得所描述的协议具有准确性、完全性和无二义性。