A specification of a CSMA/CD protocol using systems of communicating machines.
Lofcali, Mehmet N.
Wu, C. Thomas
MetadataShow full item record
This thesis gives a specification of a communication protocol known as "Carrier Sense Multiple Access with Collision Detection (CSMA/CD) Medium Access Control and Physical Layer Specifications" using Systems of Communicating Machines and shared variables. This protocol is defined in the ANSI/IEEE 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 CSMA/CD protocol needs a better specification method.
RightsCopyright is reserved by the copyright owner
Showing items related by title, author, creator and subject.
Lundy, Gilbert M.; Tipici, H. Alphan (IEEE, 1994-10);In recent years the emergence of optical fiber and its correspondingly high data rates have led to the development of much higher speed networks, both locally and over the long haul. These developments led to the design ...
Almquist, Martin Scott (Monterey, California. Naval Postgraduate School, 1995-09);The problem addressed by this research is to formally specify and analyze a proposed wireless network media access protocol. The protocol, named MACAW for Multiple Access Collision Avoidance Wireless, was described in ACM ...
Elmiro, Jose Luiz Timbo. (Monterey, California. Naval Postgraduate School, 1991-09);This research examines an improved FDDI protocol which ideally raises the network throughput from 100 to a maximum of 300 Megabits per second. It develops the details of the protocol structure at the MAC layer and provides ...