Trace theory and VLSI design

Attention is given to programs suggesting implementations with a high degree of concurrency. It is noted that the advent of techniques for constructing machinery operating with a high degree of concurrency has added urgency to the study of suitable implementation methods. A method is outlined here for implementing programs as semiconductor chips. A notation is proposed for programs that prescribe the cooperation of components arranged in a hierarchical structure. It is pointed out that hierarchical structure aids in bridling the complexity of program design. The components and the way in which they cooperate are defined such that an implementation potentially exhibits a high degree of concurrency.