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

作     者：蔡强 Cai Qiang

作者机构：厦门大学软件学院福建厦门361005 

基　　金：福建省自然科学基金项目(编号:A0310007)资助 

出 版 物：《计算机应用与软件》 (Computer Applications and Software)

年 卷 期：2006年第23卷第5期

页      码：26-27,139页

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

主 题 词：FSP LTS 并发系统 分布式系统 安全性 活动性 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 070801[070801] 07[理学] 08[工学] 0708[理学-地球物理学类] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-386X.2006.05.012

馆 藏 号：203901316...