2 进程并发

并发进程 给定进程P和Q， 对αP∩αQ中事件同时执行，其它事件交替执行的过程，称为进程P和Q的并发进程，记为
$$P||Q$$

运算法则:

1. P||Q = Q||P
2. P||(Q||R) = (P||Q)||R
3. P||STOP = STOP
4. P||RUN = P
5. (x:A->P(x)) || (y:B->Q(y) ) = (z:(A and B)->(P(z) || Q(z) ) )

2.3 并发性

$$\alpha (P||Q)=\alpha P\cap \alpha Q$$

运算法则：

4.1(c->P)||(c->Q) = c->(P||Q)
4.2 (c->P)||(d->Q) = STOP (c!=d)

5.1 (a->P) || (c->Q) = a->(P||(c->Q))

6 (a->P)||(b->Q) = (a->(P||b->Q))|b->((a->P)||Q)
推广到一般：