Concurrent hardware : the theory and practice of self-timed design
Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor I. Varshavsky, Alex Yakovlev, Eric Napelbaum, Olga Reva · Medical Entomology and Zoology · 1993
The Models of Parallel Processes Specification and the Behaviour of the Circuits Verification of Parallel System Behaviour Through Formal Models The Relationship between the State and Event Models Behaviour Identification and Circuit Analysis Transformation of the Behaviour Specifications Language Meccano Methods for Direct Translation of Specification into Circuits Formal Methods for Self-Timed Circuit Synthesis Reducing Specification to the Form Implementable Through Circuits Abridged Review of the State of the Art in Self-Timing Use of the CAD System 'FORCAGE' in the Design of Self-Timed Circuits.