• 基于进程代数的软件动态...
• 基于进程代数的DSS 模型...
• 嵌入式软件建模_实现与验...
• 基于随机进程代数的软件...
• 基于过程代数的智能机器...
• 基于进程代数安全协议验...
• 线路坐标的通用计算及代...