Title :
A formal specification technique for communication protocol
Author_Institution :
Dept. of Comput. Sci. & Autom., Wuhan Univ. of Water Transp. Eng.
Abstract :
A formal method for communication protocol specification is presented in which the best features of approaches using finite-state machines, communication sequential processes, and abstracting data types are combined. First, the formal techniques of the communication protocol are briefly described. Then, the hybrid method of protocol specification is presented. Finally, an example, i.e IEEE 802.3 MAC protocol for a LAN described by the proposed formal method is given
Keywords :
data structures; finite automata; protocols; sequential switching; IEEE 802.3 MAC protocol; LAN; abstracting data types; communication protocol; communication sequential processes; finite-state machines; formal specification technique; Automata; Automation; Computer networks; Computer science; Distributed computing; Formal specifications; Media Access Protocol; Performance evaluation; Process design; System testing;
Conference_Titel :
INFOCOM '89. Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies. Technology: Emerging or Converging, IEEE
Conference_Location :
Ottawa, Ont.
Print_ISBN :
0-8186-1920-1
DOI :
10.1109/INFCOM.1989.101436
