< Итоги конкурса на лучшую студенческую работу
23.10.2010 12:00 Age: 9 yrs
Category: Семинар

Алгоритмические свойства формальных моделей параллельных и распределенных систем

Кузьмин Егор Владимирович, к.ф.-м.н., Ярославский государственный университет им. П.Г. Демидова, кафедра теоретической информатики


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