论文部分内容阅读
作者设计了一个用户级通信协议并在PLAN2000局部网络上实现了这个协议,从而开发了一个实用的局部网络应用软件——用户级实时通讯系统。文中给出了协议的自然语言描述,利用状态转换图对协议进行了形式化描述,并通过可达分析树验证了协议设计的合理性,最后介绍了协议的实现及在实现过程中遇到的主要技术问题。(本刊录)