Title :
On formal modeling of communication channels
Author :
Gburzynski, P. ; Rudnicki, Piotr
Author_Institution :
Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
Abstract :
A formal semantics of a model for a communication channel is given. The model is the foundation of a simulation package which can be used for modeling of communication phenomena in distributed physical systems. The software system based on the model can be viewed as an emulator for LAN-type communication networks. The approach is centered around a formal model of s single CSMA/CD communication channel. The proposed model reflects all relevant elements of a real channel at the medium access control level
Keywords :
carrier sense multiple access; local area networks; telecommunication channels; CSMA/CD; LAN-type communication networks; communication channels; distributed physical systems; emulator; formal modeling; medium access control level; simulation package; Analytical models; Communication channels; Communication systems; Computational modeling; Local area networks; Mathematical model; Media Access Protocol; Multiaccess communication; Software packages; Tail;
Conference_Titel :
INFOCOM '89. Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies. Technology: Emerging or Converging, IEEE
Conference_Location :
Ottawa, Ont.
Print_ISBN :
0-8186-1920-1
DOI :
10.1109/INFCOM.1989.101447
