Concurrent Computations and VLSI Circuits

This publication has 4 references indexed in Scilit:

• Direct Implementation of Asynchronous Control Units
  IEEE Transactions on Computers, 1982
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Design of ion-implanted MOSFET's with very small physical dimensions
  IEEE Journal of Solid-State Circuits, 1974
• An axiomatic basis for computer programming
  Communications of the ACM, 1969