RT Book, Whole DB /z-wcorg/ DS http://worldcat.org ID 20617329 LA English T1 Translating concurrent communicating programs into delay-insensitive circuits A1 Brunvand, Erik., Sproull, Robert F., PB Carnegie Mellon University, Computer Science Dept. PP Pittsburgh, Pa. YR 1989 AB Abstract: "Programs written in a subset of Occam are automatically translated into delay-insensitive circuits using syntax-directed techniques. The resulting circuits are improved using semantics-preserving circuit-to-circuit transformations. Since each step of the translation process can be proven correct, the resulting circuit behavior is a faithful copy of the original program behavior. A compiler has been constructed that automatically performs the translation and transformation."