Synthesis of communicating process skeletons from temporal-spatial logic specifications (Q1116944): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Synthesis of Communicating Processes from Temporal Logic Specifications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3336675 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3948585 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Communicating sequential processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A multiprocess network logic with temporal and spatial modalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5560258 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proof methods for modal and intuitionistic logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The temporal logic of branching time / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3862379 / rank | |||
Normal rank |
Revision as of 14:19, 19 June 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