Question

当一个事件被赋值到另外一个事件的时候，这两个事件被合并。因此，在其中一个变量上执行->会影响等待任意一个事件变量的进程。

例如：

event a, b, c;

a = b;
-> c;
-> a; // 也会触发b
-> b; // 也会触发a

a = c;
b = a;
-> a; // 也会触发b和c
-> b; // 也会触发a和c
-> c; // 也会触发a和b

当事件被合并的时候，赋值仅仅影响后续事件控制或等待操作的执行。如果当另外一个事件被赋值到event1的时候如果一个进程被阻塞以等待event1，那么当前的等待进程永远也不会解除阻塞。例如：

fork
    T1: while(1) @E2;
    T2: while(1) @E1;
    T3: begin
        E2 = E1;
        while(1) -> E2;
    end
join

这个例子为三个并发进程产生分支。每一个进程都从相同的时间开始。因此，在进程T1和T2被阻塞的同时，进程T3将事件E1赋值到E2。这意味着进程T1永远也不会解除阻塞，因为事件E2现在是E1。为了解除T1和T2的阻塞，E1和E1的合并必须发生在分支之前。