Abstraction and specification of local area networks
C.-H. Jo, Donald D. Fisher, K. M. George · 2003
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.>