Abstract:
An attempt is made to use the Hoares communicating processes technique for large system simulation. The example in packet switched network modelling is given, which shows the power and the obviousness of description means of the theory. The appendix contains the short review of basic notions used in the article.