| Synthesis of Communicating Process Skeletons from Temporal-Spatial Logic Specifications |
| |
| 作者单位： | 不详 |
| |
| 摘 要： | 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 the logic is presented and used in the synthesis of communicating skeletons of CSP-like programs.By explicitly introducing communication network in the logic system,our approach has some advantages over the temporal one.
|
| 关 键 词： | 通信 通信过程骨架 空间逻辑说明 |
Synthesis of communicating process skeletons from temporal-spatial logic specifications |
| |
| Authors: | Biaodong Cai Xiyiao Cai Jiazheng Chen |
| |
| Affiliation: | 1. Xidian University, Xi’ an
|
| |
| Abstract: | 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 the logic is presented and used in the synthesis of communicating skeletons of CSP-like programs.By explicitly introducing communication network in the logic system,our approach has some advantages over the temporal one. |
| |
| Keywords: | |
| 本文献已被 维普 SpringerLink 等数据库收录！ |
