Delay-insensitive circuits: An algebraic approach to their design

This publication has 8 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
• The laws of OCCAM programming
  Theoretical Computer Science, 1988
• Compiling communicating processes into delay-insensitive VLSI circuits
  Distributed Computing, 1986
• A formal model for defining and classifying delay-insensitive circuits and systems
  Distributed Computing, 1986
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• An improved failures model for communicating processes
  Published by Springer Nature ,1985