Synthesis of communicating process skeletons from temporal-spatial logic specifications (Q1116944)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Synthesis of communicating process skeletons from temporal-spatial logic specifications |
scientific article; zbMATH DE number 4089534
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Synthesis of communicating process skeletons from temporal-spatial logic specifications |
scientific article; zbMATH DE number 4089534 |
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
0 references
0.85819185
0 references
0.85711044
0 references
