• 供应链可靠性的随机模型
• 随机进程代数与随机Petr...
• 基于进程代数的DSS 模型...
• 网络体系结构建模和性能...
• 基于进程代数的上下文感...
• 基于进程的无干扰可信模...
• 第4章 进程代数