一个基于属性文法的通信协议形式描述语言及协议开发环境

• AN ATTRIBUTE GRAMMAR DESCRIPTION LANGUAGE AND AN INTEGRATED ENVIRONMENT FOR PROTOCOL SPECIFICATION AND DEVELOPMENT