Compiling communicating processes into delay-insensitive VLSI circuits

This publication has 5 references indexed in Scilit:

• Self-Timed FIFO: An Exercise in Compiling Programs into VLSI Circuits
  Published by Defense Technical Information Center (DTIC) ,1986
• The probe: An addition to communication primitives
  Information Processing Letters, 1985
• Distributed mutual exclusion on a ring of processes
  Science of Computer Programming, 1985
• Trace Theory and VLSJ Design
  Lecture Notes in Computer Science, 1985
• Communicating sequential processes
  Communications of the ACM, 1978