M.A. Volk

Annotations languages:

In article the development of the formal description of the distributed simulation models on the basis of their program representation in terms of process algebra is presented. The set journalizing activities of states of model which make a basis of the memory manager of simulation models is entered. It is shown that realized activity can fulfill functions federates in optimistic algorithms of synchronisation of the distributed simulation models.