Control machines: A new model of parallelism for compositional specifications and their effective compilation (Q1177148): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 4 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Satoshi Miura / rank | |||
Property / reviewed by | |||
Property / reviewed by: Satoshi Miura / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: CESAR / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Esterel / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Temporal logic programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3030242 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3735065 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Characterizing finite Kripke structures in propositional temporal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sequential and concurrent behaviour in Petri net theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3336675 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3687696 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4722045 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4723291 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4723289 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Statecharts: a visual formalism for complex systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3907039 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3680261 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Computational Complexity of Provability in Systems of Modal Propositional Logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3711745 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3750114 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Calculi for synchrony and asynchrony / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3832059 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deadlock absence proofs for networks of communicating processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Synthesis of Communicating Processes from Temporal Logic Specifications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3745263 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3940830 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3779734 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3678655 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3667958 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:25, 15 May 2024
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
0 references