摘要
安全性与活动性是并发系统和分布式系统的两类基本性质,快速检测安全性与活动性在这类系统的设计和开发过程中具有重要的实际意义。本文给出基于FSP进行安全性与活动性检测的方法并给出具体的实例分析。
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.
出处
《计算机应用与软件》
CSCD
北大核心
2006年第5期26-27,139,共3页
Computer Applications and Software
基金
福建省自然科学基金项目(编号:A0310007)资助。
