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

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