A formal specification technique for communication protocol

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.<
>