Synthesis of communicating process skeletons from temporal-spatial logic specifications (Q1116944): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:14, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Synthesis of communicating process skeletons from temporal-spatial logic specifications |
scientific article |
Statements
Synthesis of communicating process skeletons from temporal-spatial logic specifications (English)
0 references
1989
0 references
Temporal-spatial logic is a propositional logic with temporal and spatial modalities asserting on a network. In this paper, a tableau-like decision procedure for network satisfiability in that logic is presented and used in the synthesis of communicating skeletons of CSP-like programs. By explicitly introducing a communication network in the logic system, our approach has some advantages over the temporal one.
0 references
propositional logic with temporal and spatial modalities asserting on a network
0 references
tableau-like decision procedure for network satisfiability
0 references
synthesis of communicating skeletons of CSP-like programs
0 references
communication network
0 references