> Main
< Итоги конкурса на лучшую студенческую работу
23.10.2010 12:00 Age: 10 yrs
Category: Семинар
Category: Семинар
Алгоритмические свойства формальных моделей параллельных и распределенных систем
Кузьмин Егор Владимирович, к.ф.-м.н., Ярославский государственный университет им. П.Г. Демидова, кафедра теоретической информатики
Доклад посвящен исследованию алгоритмических свойств моделей параллельных и распределенных систем, относящихся к классу вполне структурированных систем переходов автоматного типа, с помощью методов и подходов из теорий структурированных систем переходов, счетчиковых машин и верификации моделей.
mailto: webmaster@dcn.ftk.spbstu.ru