Asynchronous logic automata.

David Dalrymple Neil Gershenfeld Kailiang Chen

Published in: Automata (2008)

Keyphrases

asynchronous circuits
delay insensitive
logic programming
modal logic
predicate logic
probabilistic automata
cellular automata
finite state machines
multi valued
nonmonotonic logics
digital circuits
asynchronous communication
automata theoretic
regular expressions
finite state
computational properties