Опыт моделирования сети передачи данных на языке параллельных процессов

Предпринята попытка использовать аппарат взаимодействующих процессов Хоара для построения имитационной модели большой системы. На примере моделирования сети связи с коммутацией пакетов демонстрируется мощность и наглядность описательных средств теории. В качестве приложения приведен сжатый обзор основных используемых понятий.