It first describes formal description for the specification of communication protocol. and the principal features of Estelle, SDL and Lotos.

• 论述通信协议的形式描述，Estelle、SDL和Lotos等的主要特征；