DocumentCode
2428035
Title
Abstraction and specification of local area networks
Author
Jo, Chang-Hyun ; Fisher, Donald D. ; George, K.M.
Author_Institution
Dept. of Comput. & Inf. Sci., Oklahoma State Univ., Stillwater, OK, USA
fYear
1989
fDate
22-24 March 1989
Firstpage
337
Lastpage
342
Abstract
An abstract model of a local area network (LAN) and its specification are presented. The formal model for LAN communication is presented in terms of interlayer transmission and an abstract specification template. Using this specification template, LAN objects are defined. The LAN abstract specification is illustrated using the OSI Reference Model and IEEE 802 standard protocols as examples.<>
Keywords
data structures; local area networks; protocols; standards; IEEE 802 standard protocols; OSI Reference Model; abstract model; formal model; interlayer transmission; local area networks; specification; Automata; Communication networks; Computer networks; Design automation; Distributed computing; Formal languages; LAN interconnection; Local area networks; Petri nets; Protocols;
fLanguage
English
Publisher
ieee
Conference_Titel
Computers and Communications, 1989. Conference Proceedings., Eighth Annual International Phoenix Conference on
Conference_Location
Scottsdale, AZ, USA
Print_ISBN
0-8186-1918-x
Type
conf
DOI
10.1109/PCCC.1989.37411
Filename
37411
Link To Document