• 基于随机进程代数的软件...
• 基于进程代数的网络体系...
• 一种基于进程代数的软件...
• 支持自适应过程中分析与...
• 基于进程代数的软件动态...
• 面向服务的可信软件体系...
• 用进程代数描述可适应工...
• 基于产品线体系结构的软...
• 一种软件演化过程模型的...