第4章 进程代数.ppt

* 选择算子、并行算子 选择算子-- 描述进程从多个事件中选择执行一个行为 选择算子用符号“+”表示。例如： P = a.(c.NIL + d .NIL) Q1 = a.b.NIL + c.Q2 Q2 = d.Q +e .Q2 并行算子-- 将多个进程组合成一个进程 并行算子用符号“|”表示。例如： P =Q| a.b.Q； P = a.b.NIL | Q | c.d.e.R 。 * 并行算子、屏蔽算子 并行算子不能用于事件 例如： P= a|b 是非法表达式，而P=a.NIL|b.NIL 是合法表达式。 选择算子和并行算子具有如下一些性质： P+P = P P+NIL = P a.P+b.Q = b.Q+a.P P|Q = Q|P a.P+(b.Q+c.R) = (a.P+b.Q)+c.R P|(Q|R) = (P|Q)|R 屏蔽算子-- 屏蔽算子用来限制一些指定事件的执行 屏蔽算子用符号“\ ”表示，“\ ”之后的字符表示列入屏蔽范围的事件。 屏蔽a也将屏蔽a，反之亦然。 例如，设a和a，b和b为两对协同事件，下面的例子表示出限制算子的作用。 (a.P| a.Q)\ a = a.(P|Q) \ a (a.P|b.Q) \ {a, b} = NIL * 4.2.2 AB协议的规格 见教材p96-98（略） * 混合进程 进程P和Q的混合进程