Historical overview of data communication with analysis of a selective repeat protocol
| dc.contributor.advisor | Lundy, G.M. | |
| dc.contributor.author | Jensen, Patricia B. | |
| dc.contributor.corporate | Naval Postgraduate School | |
| dc.contributor.department | Department of Computer Science | |
| dc.contributor.secondreader | Zady, Amr | |
| dc.date | March 1992 | |
| dc.date.accessioned | 2012-11-29T16:14:44Z | |
| dc.date.available | 2012-11-29T16:14:44Z | |
| dc.date.issued | 1992-03 | |
| dc.description.abstract | This thesis is primarily divided into two parts. The first part provides an overview of the historical milestones in the development of the telecommunications industry; the computer industry, primarily the hardware technology and the merging of the two industries. The milestones chosen, and the details given were motivated by the current trends regarding the consolidation of the two fields of telecommunications and computers into the arena which is referred to as data communications. The second part of the thesis is an analysis of a specification for a data link communications protocol, specifically the sliding window selective repeat protocol. The specification was modeled using the systems of communicating machines. This model uses a combination of finite state machines and variables which allows the size of the specification to be linear in the window size. The analysis used is a system state analysis, similar to the reachability analysis of the pure finite state model. the resulting system state analysis was reviewed for an underlying graph structure, The graph found was defined and an inductive proof develop to extend the analysis of the protocol for a window size of all nonnegative integers w. | en_US |
| dc.description.distributionstatement | Approved for public release; distribution is unlimited. | |
| dc.description.service | Lieutenant, United States Navy | en_US |
| dc.description.uri | http://archive.org/details/historicalovervi1094523691 | |
| dc.format.extent | 77 p.. | en_US |
| dc.identifier.uri | https://hdl.handle.net/10945/23691 | |
| dc.language.iso | en_US | |
| dc.publisher | Monterey, California. Naval Postgraduate School | en_US |
| dc.rights | This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States. | en_US |
| dc.subject.author | Telecommunications history | en_US |
| dc.subject.author | Computer history | en_US |
| dc.subject.author | Sliding window protocol | en_US |
| dc.subject.author | Systems of communicating machines | en_US |
| dc.subject.author | Selective repeat protocol | en_US |
| dc.title | Historical overview of data communication with analysis of a selective repeat protocol | en_US |
| dc.type | Thesis | en_US |
| dspace.entity.type | Publication | |
| etd.thesisdegree.discipline | Computer Science | en_US |
| etd.thesisdegree.grantor | Naval Postgraduate School | en_US |
| etd.thesisdegree.level | Masters | en_US |
| etd.thesisdegree.name | Master of Computer Science | en_US |
Files
Original bundle
1 - 1 of 1