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

DOI10.1016/S0304-3975(06)80004-6MaRDI QIDQ1177148zbMATH OpenOpenAlexFDO

Authors A. G. Heibig

Publication date 26 June 1992

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(06)80004-6

zbMATH Keywords

hierarchical networkmodular specificationsparallel processesparallelismspecification language

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Theory of software (68N99) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Review text

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.

Recommendations

• Models and languages for description of parallel processes
• scientific article; zbMATH DE number 4081518
• scientific article; zbMATH DE number 4119598
• scientific article; zbMATH DE number 4180789
• scientific article; zbMATH DE number 49713

Cites work

• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Calculi for synchrony and asynchrony
• Characterizing finite Kripke structures in propositional temporal logic
• Deadlock absence proofs for networks of communicating processes
• scientific article; zbMATH DE number 4018373 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3821120 (Why is no real title available?)
• scientific article; zbMATH DE number 3900140 (Why is no real title available?)
• scientific article; zbMATH DE number 3902019 (Why is no real title available?)
• scientific article; zbMATH DE number 3911691 (Why is no real title available?)
• scientific article; zbMATH DE number 3940713 (Why is no real title available?)
• scientific article; zbMATH DE number 3967898 (Why is no real title available?)
• scientific article; zbMATH DE number 3980467 (Why is no real title available?)
• scientific article; zbMATH DE number 3986627 (Why is no real title available?)
• scientific article; zbMATH DE number 4041249 (Why is no real title available?)
• scientific article; zbMATH DE number 4108166 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 3757688 (Why is no real title available?)
• scientific article; zbMATH DE number 3993549 (Why is no real title available?)
• scientific article; zbMATH DE number 3997153 (Why is no real title available?)
• scientific article; zbMATH DE number 3997155 (Why is no real title available?)
• Sequential and concurrent behaviour in Petri net theory
• Statecharts: a visual formalism for complex systems
• Synthesis of Communicating Processes from Temporal Logic Specifications
• Temporal logic programming
• The Computational Complexity of Provability in Systems of Modal Propositional Logic

Cited in

(4)

• Formal specification of parallel SIMD execution
• Models and languages for description of parallel processes
• scientific article; zbMATH DE number 4092735 (Why is no real title available?)
• scientific article; zbMATH DE number 1487524 (Why is no real title available?)

Describes a project that uses

Uses Software

• CESAR
• Esterel

This page was built for publication: Control machines: A new model of parallelism for compositional specifications and their effective compilation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1177148)