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.
up-diffused simulation models, process algebra, state of model, information, activity, manager of memory, optimistic algorithms of synchronization
"Zhurnalyzatsyia sostoianyi prohrammnыkh raspredelennыkh ymytatsyonnыkh modelei y ee yspolzovanye v optymystycheskykh alhorytmakh synkhronyzatsyy" ,
Scientific Works of Kharkiv National Air Force University,