1. On the delay-sensitivity of gate networks;Brzozowski,1990
2. Synthesis of self-timed circuits by program transformation;Burns,1988
3. Trace Theory for Automatic Hierachical Verification of Speed-Independent Circuits. An ACM Distinguished Dissertation;Dill,1989
4. Translating programs into delay-insensitive circuits;Ebergen,1989
5. The design of a delay-insensitive microprocessor: an example of circuit synthesis by program transformation;Martin,1989