An Analysis of the Token Ring Protocol as Specified in ANSI/IEEE standard 802.5-1985.

Abstract

This thesis discusses the formal specification techniques for communication protocols and the ANSI/IEEE Standard 802.5 Token Ring Access Method and Physical Layer Specification. Background information on formal protocol specification and a review of the targeted standard are provided. The ambiguities that were found with the standard and solutions to some of those are presented. The study concludes that there is a growing need to find methods which will provide correct, clear and unambiguous methods for the specification and analysis of communication protocols and standards. Keywords: Token ring, Communication protocols, Formal modeling techniques, Computer networks, Local area networks. Theses.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1989
Accession Number
ADA207882

Entities

People

  • Nejdet Ayik

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Ambiguity
  • Coding
  • Communication Channels
  • Computer Communications
  • Computer Networks
  • Computer Programming
  • Computer Science
  • Computers
  • Data Processing Equipment
  • Digital Communications
  • Language
  • Local Area Networks
  • Network Protocols
  • Networks
  • Processing Equipment
  • Specifications
  • Standards

Fields of Study

  • Computer science

Readers

  • Computational Modeling and Simulation
  • Computer Networking