在对算法的活动性分析中得出的结论：允许故障的条件下会出现接收员进程终止于状态s0的情况。

For liveness analysis, it is found that some receiver process may stay at initial state s' 0 forever, that is, system may has deadlock, if process fault occurs arbitrarily.

youdao

在对算法的活动性分析中得出的结论：允许故障的条件下会出现接收员进程终止于状态s0的情况。

For liveness analysis, it is found that some receiver process may stay at initial state s' 0 forever, that is, system may has deadlock, if process fault occurs arbitrarily.

youdao