在分布式并发系统构造过程中，基于进程代数的并发系统模型检测是一种行之有效的减少设计错误、提高系统可靠性的重要途径。

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

在分布式并发系统构造过程中，基于进程代数的并发系统模型检测是一种行之有效的减少设计错误、提高系统可靠性的重要途径。

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