qq_41209114的博客

将操作符||推广到当进程P与进程Q的alphabets不相同时；当P与Q并发进行时，若，则需要P与Q的共同参与；若，则只要P参与这些事件，这些事件就可能独立于Q而发生；反之亦然；ExmaplesLaws1、||满足交换律和结合律2.P||STOP=STOP3.P||RUN= PL4A (c→P)||(c→Q)=c→(P||Q) ：若prefix都为c，那么首先执行c，然后P与Q并发进行；L4B (c→P)||(d→Q)=STOP if c≠d ：公共事件...