Control machines: A new model of parallelism for compositional specifications and their effective compilation (Q1177148)

The author presents a model of parallelism and a specification language which allow modular (compositional) specifications of parallel processes. He also gives an algorithm which compiles the main part of this specification language and requires only linear time and space. The model exhibits a strong connection between temporal logic operations and regular operations on processes. The model and the specification language have been designated for real-time applications although the basic ideas are more general.