Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits.

Published in: Computation, Logic, Games, and Quantum Foundations (2013)

Keyphrases

asynchronous circuits
delay insensitive
diagrammatic reasoning
symbolic reasoning
cognitive processes
structural analysis
process algebra
model checking
human problem solving
symbolic representation
machine learning
artificial intelligence
three dimensional
computational models