Об устойчивости асинхронных автоматов

Рассматривается общая схема определения устойчивого (свободного от состязаний) асинхронного автомата, применимая ко многим видам устойчивости. Дается определение В- и ВП-устойчивого автомата и решается задача синтеза В- и ВП-устойчивого автомата по заданному абстрактному асинхронному автомату.