К анализу безопасной работы параллельной композиции частичных автоматовК анализу безопасной работы параллельной композиции частичных
автоматов Решение автоматных уравнений для временных автоматов относительно параллельной композицииРешение автоматных уравнений для временных
автоматов относительно параллельной композиции
О возможностях автоматного описания параллельной композиции временных автоматов автоматов с использованием классических методов такая
композиция обычно описывается единственным автоматом
Experiments on parallel composition of timed finite state machinesЭксперименты no построению параллельной композиции временных
автоматов К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматовК применимости композиции конечных
автоматов к описанию взаимодействия
расширенных автоматов