За технічних причин Електронний архів Харківського національного університету радіоелектроніки «ElAr КhNURE» працює тільки на перегляд. Про відновлення роботи у повному обсязі буде своєчасно повідомлено.
The Formal description of existing simulation methods with the help of process algebra is considered in the report. Mathematical representation of simulation process by means of operations group performed onto it is given.