Synthesis of communicating process skeletons from temporal-spatial logic specifications
DOI10.1007/BF02943361zbMath0666.03024OpenAlexW2066312618MaRDI QIDQ1116944
Jiazheng Chen, Xiyiao Cai, Biaodong Cai
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
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
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Theory of operating systems (68N25)
Cites Work
- The temporal logic of branching time
- Proof methods for modal and intuitionistic logics
- A multiprocess network logic with temporal and spatial modalities
- Synthesis of Communicating Processes from Temporal Logic Specifications
- Communicating sequential processes
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Synthesis of communicating process skeletons from temporal-spatial logic specifications
