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.展开更多
文摘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.