Parallel Computations and Delay-Insensitive Circuits

This publication has 5 references indexed in Scilit:

• Micropipelines
  Communications of the ACM, 1989
• Networks of communicating processes and their (De-)composition
  Published by Springer Nature ,1989
• Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
  Published by MIT Press ,1989
• A formal model for defining and classifying delay-insensitive circuits and systems
  Distributed Computing, 1986
• Anomalous Behavior of Synchronizer and Arbiter Circuits
  IEEE Transactions on Computers, 1973