A Specification of a CSMA/CD Protocol Using Systems of Communicating Machines

Abstract

This thesis gives a specification of a communication protocol known a s '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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1989
Accession Number
ADA212978

Entities

People

  • Mehmet N. Lofcali

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Communication Channels
  • Communication Systems
  • Computer Communications
  • Computer Networks
  • Computer Programming
  • Computer Science
  • Computers
  • Data Links
  • Detection
  • Digital Communications
  • Electronic Mail
  • Language
  • Local Area Networks
  • Multiple Access
  • Network Science
  • Programming Languages
  • Standards

Fields of Study

  • Computer science

Readers

  • Computer Networking
  • Mathematical Modeling and Probability Theory.
  • Software Engineering.