Synthesis of communicating process skeletons from temporal-spatial logic specifications

DOI10.1007/BF02943361MaRDI QIDQ1116944zbMATH OpenOpenAlexFDO

Authors Biaodong Cai, Xiyiao Cai, Jiazheng Chen

Publication date 1989

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02943361

zbMATH Keywords

communication networkpropositional logic with temporal and spatial modalities asserting on a networksynthesis of communicating skeletons of CSP-like programstableau-like decision procedure for network satisfiability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Theory of operating systems (68N25)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 3956422
• Specification of communicating processes: temporal logic versus refusals-based refinement
• scientific article; zbMATH DE number 177523
• scientific article; zbMATH DE number 177246
• scientific article; zbMATH DE number 4033050
• Specifying and verifying systems of communicating agents in a temporal action logic
• scientific article; zbMATH DE number 3926215
• Specification-oriented semantics for communicating processes
• A multiprocess network logic with temporal and spatial modalities

Cites work

• A multiprocess network logic with temporal and spatial modalities
• Communicating sequential processes
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3767031 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Proof methods for modal and intuitionistic logics
• Synthesis of Communicating Processes from Temporal Logic Specifications
• The temporal logic of branching time

Cited in

(3)

• SpaTeL: a novel spatial-temporal logic and its applications to networked systems
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC

This page was built for publication: Synthesis of communicating process skeletons from temporal-spatial logic specifications

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