Show simple item record

dc.contributor.advisorLundy, G.M.
dc.contributor.authorLofcali, Mehmet N.
dc.dateJune 1989
dc.date.accessioned2013-01-23T21:57:09Z
dc.date.available2013-01-23T21:57:09Z
dc.date.issued1989-06
dc.identifier.urihttp://hdl.handle.net/10945/26260
dc.descriptionApproved for public release; distribution is unlimited
dc.description.abstractThis 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.
dc.description.urihttp://archive.org/details/specificationofc00lofc
dc.format.extent48 p.en_US
dc.language.isoen_US
dc.publisherMonterey, California. Naval Postgraduate Schoolen_US
dc.rightsCopyright is reserved by the copyright owner
dc.titleA specification of a CSMA/CD protocol using systems of communicating machines.en_US
dc.typeThesisen_US
dc.contributor.secondreaderWu, C. Thomas
dc.contributor.corporateNaval Postgraduate School (U.S.)
dc.contributor.departmentComputer Science
dc.subject.authorCSMA/CD
dc.subject.authorcommunication protocols
dc.subject.authorformal modeling techniques
dc.subject.authorsystems of communicating machines
dc.subject.authorlocal area networks
dc.description.serviceLieutenant Junior Grade, Turkish Navy
etd.thesisdegree.nameM.S. in Computer Scienceen_US
etd.thesisdegree.levelMastersen_US
etd.thesisdegree.disciplineComputer Scienceen_US
etd.thesisdegree.grantorNaval Postgraduate Schoolen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record