Synthesis of Communicating Process Skeletons from Temporal-Spatial Logic Specifications  

出　　处：《Journal of Computer Science & Technology》1989年第2期133-146,共14页计算机科学技术学报（英文版）

摘　　要：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.

关 键 词：通信 通信过程骨架 空间逻辑说明 

分 类 号：TN91[电子电信—通信与信息系统]