Concurrency
将操作符||推广到当进程P与进程Q的alphabets不相同时;
当P与Q并发进行时,若,则需要P与Q的共同参与;若
,则只要P参与这些事件,这些事件就可能独立于Q而发生;反之亦然;
Exmaples
Laws
1、||满足交换律和结合律
2.P||STOP = STOP
3.P||RUN = P
将操作符||推广到当进程P与进程Q的alphabets不相同时;
当P与Q并发进行时,若,则需要P与Q的共同参与;若
,则只要P参与这些事件,这些事件就可能独立于Q而发生;反之亦然;
1、||满足交换律和结合律
2.P||STOP = STOP
3.P||RUN = P