hiding'\'は (PROCESS) \ {(events)} と記述し、プロセスのアルファベット（インターフェイス）から指定したイベントを隠蔽する。下記の sharing で考えた例を使って解説する。 channel coin, coke, cider, lemonade, drink MIKE = coin -> ( coke -> drink …

interleaving P|||Q はプロセスP,Q がイベントで同期せずに、完全に独立して動作することを表す。例えば、以下のようなMIKEとRISAの動作を考える。 channel coin, coke, cider,lemonade, drink MIKE = coin -> ( coke -> drink -> SKIP |~| cider -> drink -…

interleaving の例において、MIKEとRISAはコインを別々に入れるが、二人で乾杯して同時に飲み始めるような場合はsharing（共有）を使う。 P[|{event}|]Q のように記述すると指定されたイベントで同期し、それ以外のイベントについては interleavingと同じく…