Формальні засоби моделювання паралельних процесів та систем

Nesterenko, B. B. Formal means of the simulation of parallel processes and systems = Формальні засоби моделювання паралельних процесів та систем / B. B. Nesterenko, M. A. Novotarskyi ; National academy of sciences of Ukraine, Institute of mathematics. — Kyiv : Akademperiodyka, 2016. — 194 p. — (Project "Ukrainian scientific book in a foreign language").