期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
Formal Description and Verification of a Transport Protocol for Local Networks
1
作者 李腊元 《Journal of Computer Science & Technology》 SCIE EI CSCD 1990年第1期64-70,共7页
This paper discusses a transport protocol and its formal description techniques for local network .The trans- port layer function, the transport services and a transport protocol design in a local network architecture... This paper discusses a transport protocol and its formal description techniques for local network .The trans- port layer function, the transport services and a transport protocol design in a local network architecture model are presented. A transport protocol specification using the finite state automata (FSA) is given. The correctness of the protocol is verified by using the reachability tree technique with respect to the protocol proper ties of completeness ,deadlock and livelock freeness, termination and reachability. 展开更多
关键词 Automata Theory Finite Automata Mathematical Techniques State Space Methods
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部