图6.18中给出进程P中信号F、变量V、和变量CW的判决图。
图6.18 赋值对象的判决图