基于FSP的安全性与活动性检测技术

• 作者: 蔡强
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: FSP LTS 并发系统 分布式系统 安全性 活动性
• 年，卷（期）: 2006,（5）
• 所属期刊栏目: 基金项目
• 页码范围: 26-27,139
• 页数: 3页
• 分类号: TP3
• 字数: 2756字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2006.05.012

摘要

安全性与活动性是并发系统和分布式系统的两类基本性质,快速检测安全性与活动性在这类系统的设计和开发过程中具有重要的实际意义.本文给出基于FSP进行安全性与活动性检测的方法并给出具体的实例分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡强	厦门大学软件学院	2	1	1.0	1.0