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

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

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