Geodesic
Experience in data network modelling with help of parallel processes language
Matematičeskoe modelirovanie, Tome 5 (1993) no. 2, pp. 82-93.

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{MM_1993_5_2_a6,
     author = {M. G. Konovalov},
     title = {Experience in data network modelling with help of parallel processes language},
     journal = {Matemati\v{c}eskoe modelirovanie},
     pages = {82--93},
     publisher = {mathdoc},
     volume = {5},
     number = {2},
     year = {1993},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MM_1993_5_2_a6/}
}
TY  - JOUR
AU  - M. G. Konovalov
TI  - Experience in data network modelling with help of parallel processes language
JO  - Matematičeskoe modelirovanie
PY  - 1993
SP  - 82
EP  - 93
VL  - 5
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MM_1993_5_2_a6/
LA  - ru
ID  - MM_1993_5_2_a6
ER  - 
%0 Journal Article
%A M. G. Konovalov
%T Experience in data network modelling with help of parallel processes language
%J Matematičeskoe modelirovanie
%D 1993
%P 82-93
%V 5
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MM_1993_5_2_a6/
%G ru
%F MM_1993_5_2_a6
M. G. Konovalov. Experience in data network modelling with help of parallel processes language. Matematičeskoe modelirovanie, Tome 5 (1993) no. 2, pp. 82-93. http://geodesic.mathdoc.fr/item/MM_1993_5_2_a6/