. . "Research paper. Carnegie Mellon University. Computer Science Dept. ;" . . "Pittsburgh, Pa." . . . . "2018-03-11" . . . . . "Research paper ;" . . "Carnegie-Mellon University. Computer Science Department." . . "Sproull" . "Robert F." . "Robert F. Sproull" . . "Brunvand" . "Erik" . "Erik Brunvand" . . "Electronic circuits"@en . . "pau" . . "Carnegie Mellon University, Computer Science Dept." . . "occam (Computer program language)"@en . . . . "20617329" . "20617329" . . . . . . "en" . . . . "Translating concurrent communicating programs into delay-insensitive circuits"@en . . . "1989" . . "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.\""@en . . . . . "1989" .