Представлено развитие формального аппарата описания распределенных имитационных моделей на основе их программного представления в терминах процессной алгебры. Введено множество активностей журнализации состояний модели, которые составляют основу менеджера памяти имитационных моделей. Показано, что реализованные активности могут выполнять функции федератов в оптимистических алгоритмах синхронизации распределенных имитационных моделей.

 Наукова періодика України 

---

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"