| 基于FSP的安全性与活动性检测技术 |
| |
| 引用本文： | 蔡强.基于FSP的安全性与活动性检测技术[J].计算机应用与软件,2006,23(5):26-27,139. |
| |
| 作者姓名： | 蔡强 |
| |
| 作者单位： | 厦门大学软件学院,福建,厦门,361005 |
| |
| 摘 要： | 安全性与活动性是并发系统和分布式系统的两类基本性质，快速检测安全性与活动性在这类系统的设计和开发过程中具有重要的实际意义。本文给出基于FSP进行安全性与活动性检测的方法并给出具体的实例分析。
|
| 关 键 词： | 并发系统 分布式系统 安全性 活动性 |
| 收稿时间： | 2004-09-29 |
| 修稿时间： | 2004-09-29 |
TECHNIQUE OF DETECTING SAFETY AND LIVENESS BASED ON FSP |
| |
| Cai Qiang.TECHNIQUE OF DETECTING SAFETY AND LIVENESS BASED ON FSP[J].Computer Applications and Software,2006,23(5):26-27,139. |
| |
| Authors: | Cai Qiang |
| |
| Affiliation: | Software School,Xiamen University,Xiamen Fujian 361005, China |
| |
| Abstract: | Safety and liveness is the two basic properties in concurrent systems and distributed systems,detect safety and liveness quickly has important practical significance during system design and development. This text gives methods to detect safety and liveness based on FSP technique, and also presents a detail instance analysis. |
| |
| Keywords: | FSP LTS |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
