On formal modeling of communication channels

IEEE INFOCOM '89, Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies Pub Date : 1989-04-23 DOI:10.1109/INFCOM.1989.101447

P. Gburzynski, P. Rudnicki

引用次数: 4

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.<>

查看原文本刊更多论文

关于通信渠道的形式化建模

给出了通信信道模型的形式化语义。该模型是一个仿真包的基础，可用于对分布式物理系统中的通信现象进行建模。基于该模型的软件系统可以看作是局域网型通信网络的仿真器。该方法以单个CSMA/CD通信信道的正式模型为中心。所提出的模型反映了中等访问控制级别的真实信道的所有相关元素。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

IEEE INFOCOM '89, Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies

自引率

0.00%

发文量