CSP（Communicating Sequential Processes）是构建并发系统和网络安全协议的经典方法.当前主流的CSP模型验证方法需将进程转化为迁移......

通信顺序进程（communicating sequential process,CSP）是一种经典的形式化方法,CSP_M是在CSP基础上提出的一种函数式语言。目前Web服......

针对通信协议进行形式化建模与分析,能够很大程度上提高工控协议的安全性。通过分析开源实时以太网Powerlink的同步、异步阶段的不......

参与组织随机行为是评价业务协同有效实施的一个关键因素。结合进程代数和马尔科夫链,提出了一种协同业务过程的随机行为分析方法......

随着现代网络的飞速发展,网络的规模和复杂性不断增加,支持的业务和服务则日益多种多样,这使得有效地管理网络变得越来越困难,在传......

区域列控数据中心(RDC)作为CTCS-1级列控系统地面设备的核心部分,为车载设备提供线路数据、临时限速信息、进路信息等,因此,RDC数......

通信顺序进程(CSP)和Petri网是两种重要的并发系统建模工具。CSP语言具有高度抽象性,可有效刻画并发进程之间的各种相互作用,但在......