Synthesis of communicating process skeletons from temporal-spatial logic specifications
From MaRDI portal
Publication:1116944
DOI10.1007/BF02943361zbMath0666.03024MaRDI QIDQ1116944
Biaodong Cai, Xiyiao Cai, Jiazheng Chen
Publication date: 1989
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
communication network; propositional logic with temporal and spatial modalities asserting on a network; synthesis of communicating skeletons of CSP-like programs; tableau-like decision procedure for network satisfiability
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
68N25: Theory of operating systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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