DocumentCode
1889487
Title
On formal modeling of communication channels
Author
Gburzynski, P. ; Rudnicki, Piotr
Author_Institution
Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
fYear
1989
fDate
23-27 Apr 1989
Firstpage
143
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/INFCOM.1989.101447
Filename
101447
Link To Document