Компьютерные эксперименты над синхронизируемыми автоматами
Аннотация
Работа посвящена алгоритмам над синхронизируемыми автоматами и их реализации в рамках нового фреймворка для распредёлнных запусков экспериментов.
В работе описано новые алгоритмы в области теории синхронизируемых автоматов, а также реализация актуальных алгоритмов в этой области. Упор фреймворка сделан на производительность, возможность распределённой работы, гибкость, расширяемость, покрытие тестами и открытый исходный код. Фреймворк может быть использован в будущем для проведения компьютерных экспериментов над синхронизируемыми автоматами.
В работе описано новые алгоритмы в области теории синхронизируемых автоматов, а также реализация актуальных алгоритмов в этой области. Упор фреймворка сделан на производительность, возможность распределённой работы, гибкость, расширяемость, покрытие тестами и открытый исходный код. Фреймворк может быть использован в будущем для проведения компьютерных экспериментов над синхронизируемыми автоматами.