• 代数综合
• 线性代数
• 《线性代数》
• 随机进程代数新技术综述
• 随机进程代数IMCs的性能...
• 随机进程代数与随机Petr...
• 第4章 进程代数
• 进程代数
• 网络体系结构建模和性能...