Show simple item record

dc.contributor.advisorLundy, G.M.
dc.contributor.authorCharbonneau, Lauren J.
dc.dateJune 1990
dc.date.accessioned2013-04-11T22:14:42Z
dc.date.available2013-04-11T22:14:42Z
dc.date.issued1990-06
dc.identifier.urihttp://hdl.handle.net/10945/30633
dc.descriptionApproved for public release, distribution is unlimiteden_US
dc.description.abstractIn this thesis a formal description technique, systems of communicating machines, is used to specify and analyze a token bus protocol. A simplified description of the protocol is given, and proofs of certain correctness properties presented. The analysis proves that the protocol is free from deadlocks and non executable transitions, and also that successful message transfer is guaranteed for a network with an arbitrary number of machines. A program written in an object oriented language, C++, demonstrates that the description technique, the specification, and the analysis of the protocol is complete and accurate for a network of three stations. The specification is then extended to allow the transmission of different types of messages, errors in the communication channel, acknowledgements from the receiver, and timeouts.en_US
dc.description.urihttp://archive.org/details/aspecificationnd1094530633
dc.format.extentiv, 82 p. ; ill.en_US
dc.language.isoen_US
dc.publisherMonterey, California. Naval Postgraduate Schoolen_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.en_US
dc.subject.lcshComputer network protocols,Standards,United Statesen_US
dc.subject.lcshLocal area networks (Computer networks)en_US
dc.titleA specification and analysis of the IEEE token bus protocolen_US
dc.typeThesisen_US
dc.contributor.secondreaderShing, Man-Tak
dc.contributor.corporateNaval Postgraduate School (U.S.)
dc.contributor.departmentDepartment of Computer Science
dc.subject.authorToken bus protocolen_US
dc.subject.authorsystems of communicating machinesen_US
dc.subject.authorsystems state analysisen_US
dc.description.serviceLieutenant, United States Navyen_US
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