Trace theory and systolic computations

This publication has 5 references indexed in Scilit:

• 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
• An improved failures model for communicating processes
  Published by Springer Nature ,1985
• Trace Theory and VLSJ Design
  Lecture Notes in Computer Science, 1985
• Communicating sequential processes
  Communications of the ACM, 1978