The Study on Formal Techniques of Communication Protocol

This paper presents the formal techniques of communication protocol for computer networks or distributed computer systems The formal specification design and implementation verification of protocol and services, their theories, main methods and implementation techniques are described and analyzed A hybrid method which combines finite state machine and communicating sequential processes is presented and an example. IEEE 802.3 MAC protocol representation with this hybrid model, is given