A Formal Model for Defining and Classifying Delay-Insensitive Circuits and Systems.

Jan Tijmen Udding

Published in: Distributed Comput. (1986)

Keyphrases

formal model
delay insensitive
asynchronous circuits
security patterns
knowledge based systems
complex systems
low power
real time
expert systems
management system
distributed systems
access control
computer systems
learning systems
model checking