Асинхронные автоматы с задержками и логические языки

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