摘要
本文研讨了适应于计算机网络协议的形式描述风格。文中以一个实例 ,研究了几种典型形式描述技术 (FDT)的不同风格。这些形式描述技术包括 Petri网、L OTOS、关系表示法和 Z。
This paper studies formal description style of computer networks protocol. Taking a communication system as an example, it discusses the styles of some formal description techniques, such as Petri net, Lotos, relational notation and Z.
出处
《小型微型计算机系统》
EI
CSCD
北大核心
1998年第3期62-69,共8页
Journal of Chinese Computer Systems
基金
湖北省自然科学基金资助项目
