Поздравляем научного сотрудника Института, к.ф.-м.н. И.В. Тарасюка с выходом в свет его монографии "Эквивалентности для поведенческого анализа параллельных и распределенных вычислительных систем". Академическое изд-во "Гео", под ред. д.ф.-м.н. В.Н. Касьянова. В монографии разработан и исследован широкий спектр поведенческих эквивалентностей на таких известных формальных моделях для спецификации и анализа параллельных систем, как сети Петри и алгебры процессов. Книга предназначена для студентов, аспирантов и исследователей, интересующихся теоретической информатикой, в частности, формальным моделированием и анализом свойств поведения параллельных систем и процессов.