This paper discusses a formal descriptiontechnique based on Estelle for protocol.

• 本文讨论基于Estelle的协议形式描述技术。