Correct Compilation of Specifications to Deterministic Asynchronous Circuits.

Scott F. Smith Amy E. Zwarico

Published in: CHARME (1993)

Keyphrases

asynchronous circuits
delay insensitive
process algebra
model checking
real time
information retrieval
artificial intelligence
web services
black box