算法终止条件
基于1个网页-相关网页
Algorithm termination condition
以上为机器翻译结果，长、整句建议使用 人工翻译 。
在对算法的活动性分析中得出的结论：允许故障的条件下会出现接收员进程终止于状态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
应用推荐
模块上移
模块下移
不移动