Mili Atoll
Математический аппарат синхронной логики задают автоматные модели Мили и Мура.