A Specification of a CSMA/CD Protocol Using Systems of Communicating Machines
Abstract:
This thesis gives a specification of a communication protocol known a s Carrier Sense Multiple Access with Collision Detection CSMACD Medium Access Control and Physical Layer Specifications using Systems of communicating Machines and shared variables. This protocol is defined in the ANSIIEEE standard 802.3 using the same name. Specification has been analysed using a method called system state analysis. The analysis showed the protocol to be free from deadlocks. The study concludes that CSMACD protocol needs a better specification method.
Security Markings
DOCUMENT & CONTEXTUAL SUMMARY
Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release; Distribution Is Unlimited.
RECORD
Collection: TR