进程代数 过程代数
Process algebra Process algebra
以上为机器翻译结果，长、整句建议使用 人工翻译 。
在分布式并发系统构造过程中，基于进程代数的并发系统模型检测是一种行之有效的减少设计错误、提高系统可靠性的重要途径。
For developing concurrent distributed system, process algebra based model checking is widely considered as a feasible and important approach to reducing errors and increasing system reliability.
youdao
应用推荐
模块上移
模块下移
不移动