DocumentCode
1886683
Title
A formal specification technique for communication protocol
Author
Li, Luoqing
Author_Institution
Dept. of Comput. Sci. & Autom., Wuhan Univ. of Water Transp. Eng.
fYear
1989
fDate
23-27 Apr 1989
Firstpage
74
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/INFCOM.1989.101436
Filename
101436
Link To Document