Control machines: A new model of parallelism for compositional specifications and their effective compilation (Q1177148)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Control machines: A new model of parallelism for compositional specifications and their effective compilation |
scientific article |
Statements
Control machines: A new model of parallelism for compositional specifications and their effective compilation (English)
0 references
26 June 1992
0 references
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.
0 references
hierarchical network
0 references
parallelism
0 references
specification language
0 references
modular specifications
0 references
parallel processes
0 references