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.
展开▼
