2.2 变换规则 在CCS中，表达式的等价是基于“观察等价(Observational Equivalence)”的，即对于事件的观察者来说，进程执行的两 个表达式在行为上是不能区分的。
基于28个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
然后，在后继的测试运行中，测试人员将不需要再观察文本等价物了，除非从最近一次测试运行开始图像或文本改变了。
Then, in subsequent test runs, a human tester will not need to look at the text equivalent again unless the image or the text has changed since the last test run.
youdao
应用推荐
模块上移
模块下移
不移动